Julien Lepiller 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
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!
Thank you!
Le 13 décembre 2018 22:20:15 GMT+01:00, Pierre Neidhardt a
écrit :
>Hevea and texlive are native-inputs for Coq, however they don't seem
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?
--
Pierre Neidhardt
https://ambrevar.xyz/
signature.asc
Description: PGP signature
