[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#34299] [PATCH] gnu: Add coq-autosubst
From: |
Dan Frumin |
Subject: |
[bug#34299] [PATCH] gnu: Add coq-autosubst |
Date: |
Thu, 7 Feb 2019 14:46:24 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1 |
Hi Julien!
> So, why this commit and this branch in particular? It seems that there
> are some releases on github, and we tend to prefer using a released
> version of packages.
This is the latest commit in the branch that compiles with the latest version
of Coq.
Unfortunately the files on the "releases" page are outdated.
> Please remove these comments :)
> We now use (invoke ...) instead of (zero? (system* ...)).
Thanks, I've updated it!
By the way, I did not subscribe to the guix-pactches.
Is there a way to receive email on this particular issue from the bug tracker,
without subscribing to the mailing list in full?
0001-gnu-Add-coq-autosubst.patch
Description: Text Data