[bug#34299] [PATCH] gnu: Add coq-autosubst

[Julien Lepiller]

Le 2019-02-07 14:46, Dan Frumin a écrit :
> 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!

Thanks! I'll take a look at your package definition and push later 
today.

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

I don't think there is, unfortunately. I usually reply to the sender as
well as to the bug tracker though. Did I forget it in my previous reply?