| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 0001-Disable-micromega-tests.patch | 679 | logplain |
| -rw-r--r-- | 0002-Remove-dependency-to-Unix-from-module-Profile.patch | 2698 | logplain |
| -rw-r--r-- | 0003-Fix-build-with-camlp5-6.02.1.patch | 6011 | logplain |
| -rw-r--r-- | series | 132 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |