| 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-- | series | 92 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |