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