Hi Ludo’, all,
Thanks for your vote(s) of confidence, Ludo’; it’s great to hear!
Ludovic Courtès writes:
> Hi!
>
> Brett Gilio skribis:
>
>> 100% Agreed. Amin is also working on packaging the Lean prover and I am
>> taking an interest in seeing if we can extend the OPAM importer to have
>> a s
Ludovic Courtès writes:
> For the record, I don’t work with the formal methods people at Inria,
> but we chat occasionally, and I’d be happy to draw their attention to
> this effort. :-)
I thought not, but I think this smells of potential for collaboration
maybe amongst a few there. I know some
Ludovic Courtès writes:
> The domain name would have to be discussed with others (other
> maintainers in particular; perhaps a better choice would be
> formal-methods.guix.info or fm.guix.info, next to hpc.guix.info), but
> the idea sounds great to me!
That is, of course, reasonable that we shou
Ludovic Courtès writes:
> Hi!
>
> Julien Lepiller skribis:
>
>> I'm afraid OCaml is not bootstrappable. It uses a bytecode version of
>> itself (using a bootstrapped bytecode interpreter written in C) to
>> build itself. Fortunately this situation is being worked on by a phd
>> student of Xavier
Hello!
Thanks for the kind words and happy holidays everyone! :-)
Ludo’.
Hi!
Ricardo Wurmus skribis:
> Ludovic Courtès writes:
[...]
>> However, the currently packaged snapshot crashes when trying to retrieve
>> information about a bug:
>>
>> --8<---cut here---start->8---
>> $ /gnu/store/qw2c84gnwk3sgivh2i8x98xx5gx73vxl-mumi-0.0
Hi Martin,
Martin Becze skribis:
> I have been working on a recursive importer that uses semantic
> versioning over on #38408. It relies on guile-semver. I'm not exactly
> sure how to add guile-semver as a dependency to guix. But I'm also not
> sure that I should. Importers will probably not be
Hi Brett,
Brett Gilio skribis:
> 1. Just as the bootstrappability and guix-hpc projects have their own
> websites documenting their efforts, I think it would be nice to have
> https://fm.guix.gnu.org/ which would host a Haunt-generated
> website. This website would be hosted in the Savannah proj
Hi!
Julien Lepiller skribis:
> I'm afraid OCaml is not bootstrappable. It uses a bytecode version of
> itself (using a bootstrapped bytecode interpreter written in C) to
> build itself. Fortunately this situation is being worked on by a phd
> student of Xavier Leroy (and nixOS user) :).
>
> The
Hi!
Brett Gilio skribis:
> Having Guix and the Formal Methods community aligned would mean a great
> deal of power for both camps! Just as we see with the Software Heritage
> project and Guix, for providing historical and state-consistent
> reproducible environments for software testing we and c
Hi!
Brett Gilio skribis:
> 100% Agreed. Amin is also working on packaging the Lean prover and I am
> taking an interest in seeing if we can extend the OPAM importer to have
> a subimporter for Coq.
That’d be nice!
> Ludo, what do you think about an https://fm.guix.gnu.org/ URL hosting a
> haun
Ludovic Courtès writes:
> Hi!
>
> Julien Lepiller skribis:
>
>> I forgot to metion I have a small channel at
>> https://framagit.org/tyreunom/guix-coq-channel that keeps track of
>> every coq version since 8.6. I use it to test my coquille plugin on
>> every coq version that exists, but I'm sure
Dnia 2019-12-27, o godz. 21:32:10
Gábor Boskovits napisał(a):
> Hello Jan,
>
> Thanks for working on this.
Jami is really painful to package :D
>
> You should look for packages with debug output. That is the way the
> debugging symbol files are generated
> for a package. Currently not too many
Do I need to update anything on Savannah when I extend the expiration of my GPG
key? On January 1st, I think my key will appear to expire unless the keyring
was refreshed very recently.
--
Alex Griffin
On Fri, Dec 27, 2019, at 8:47 PM, Ricardo Wurmus wrote:
>
> Hi Ludo,
>
> > I’ve now committ
Hi Ludo,
> I’ve now committed this file:
>
> b3011dbbd2 doc: Mention "make authenticate".
> 787766ed1e git-authenticate: Keep a local cache of previously-authenticated
> commits.
> 785af04a75 git: 'commit-difference' takes a list of excluded commits.
> 1e43ab2c03 Add 'build-aux/git-auth
Hello Jan,
Thanks for working on this.
Jan Wielkiewicz ezt írta
(időpont: 2019. dec. 27., P, 20:11):
>
> Tested Jami with gnutls 3.6.10, but I get the same bug. I reported it
> to Jami developers, but they can't reproduce the bug.
> Here's more info, if anyone has any idea what could be the caus
Tested Jami with gnutls 3.6.10, but I get the same bug. I reported it
to Jami developers, but they can't reproduce the bug.
Here's more info, if anyone has any idea what could be the cause, then
please tell me:
https://git.jami.net/savoirfairelinux/ring-client-gnome/issues/1123
I need to find out
Hi!
Julien Lepiller skribis:
> I forgot to metion I have a small channel at
> https://framagit.org/tyreunom/guix-coq-channel that keeps track of
> every coq version since 8.6. I use it to test my coquille plugin on
> every coq version that exists, but I'm sure there are other use cases
> :)
Tha
Hello Guix!
Ludovic Courtès skribis:
> To begin with, I propose the attached script: when given a commit range,
> it authenticates each commit, meaning that it ensures commits have a
> valid signature and that that signature was made by one of the
> authorized keys. Sample session:
>
> $ time .
On Mon, Dec 16, 2019 at 11:41:57PM +0100, Marius Bakke wrote:
> Errh, the patch only works if you already have Poppler 0.83.0. For the
> current 'core-updates' branch, I believe you can use the same approach
> but fetch poppler-0.76.0.cc instead (or take Arch's patch[0]).
Ah, this is rocket scien
20 matches
Mail list logo
