Julien Lepiller <jul...@lepiller.eu> 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 <m...@ambrevar.xyz>
> 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?
