[Top][All Lists]

[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.
> does not mention them as
>build dependencies either.
>Shall we remove them?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]