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