[Top][All Lists]

[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?

Attachment: 0001-gnu-Add-coq-autosubst.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]