guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Coq native-inputs: Useless hevea / texlive?


From: Mark H Weaver
Subject: Re: Coq native-inputs: Useless hevea / texlive?
Date: Fri, 14 Dec 2018 19:23:37 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

Julien Lepiller <address@hidden> writes:

> They must have been useful in older versions, but I didn't pay
> attention. If they are not needed for anything, please go ahead and
> remove them!

Although I sometimes use Coq, I don't know much about the Guix packaging
for it, so I'm glad to trust your judgment on this.  Do as you think
best.

      Thanks!
        Mark


> Le 13 décembre 2018 22:20:15 GMT+01:00, Pierre Neidhardt <address@hidden> a 
> écrit :
>>Hevea and texlive are native-inputs for Coq, however they don't seem to
>>be used ever.
>>
>>https://github.com/coq/coq/blob/V8.8.2/INSTALL does not mention them as
>>build dependencies either.
>>
>>Shall we remove them?



reply via email to

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