| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Remove obsolete patches |  Stephane Glondu | 2008-09-08 |
| | | |||
| * | Add use-env-in-coq-config.dpatch | Stephane Glondu | 2008-08-08 |
| Use environment variables by default in coq_config.ml. This allows the run of micromega-related tests before installation. | |||
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |