Re: Coq native-inputs: Useless hevea / texlive?
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 this. Do as you think best. Thanks! Mark > 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 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?
Re: Coq native-inputs: Useless hevea / texlive?
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 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?
Coq native-inputs: Useless hevea / texlive?
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