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 |
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 |