[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Coq native-inputs: Useless hevea / texlive?
From: |
Julien Lepiller |
Subject: |
Re: Coq native-inputs: Useless hevea / texlive? |
Date: |
Thu, 13 Dec 2018 23:16:16 +0100 |
User-agent: |
K-9 Mail for Android |
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 <address@hidden> 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?