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
