[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Coq native-inputs: Useless hevea / texlive?
|
From: |
Pierre Neidhardt |
|
Subject: |
Coq native-inputs: Useless hevea / texlive? |
|
Date: |
Thu, 13 Dec 2018 22:20:15 +0100 |
|
User-agent: |
mu4e 1.0; emacs 26.1 |
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
- Coq native-inputs: Useless hevea / texlive?,
Pierre Neidhardt <=