| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 0001-Update-for-why-2.19.patch | 3475 | logplain |
| -rw-r--r-- | 0002-Disable-micromega-tests.patch | 687 | logplain |
| -rw-r--r-- | 0003-Fix-build-with-OCaml-3.12.patch | 884 | logplain |
| -rw-r--r-- | series | 103 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |