| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | VST.patch | 560 | logplain |
| -rw-r--r-- | camlp4-4.02+6.patch | 407 | logplain |
| -rw-r--r-- | coq-8.4pl2.patch | 532 | logplain |
| -rw-r--r-- | coq-8.4pl6.patch | 326 | logplain |
| -rw-r--r-- | coq_new.nsi | 12080 | logplain |
| -rw-r--r-- | flexdll-0.34.patch | 463 | logplain |
| -rw-r--r-- | glib-2.46.0.patch | 1641 | logplain |
| -rw-r--r-- | gtksourceview-2.11.2.patch | 10063 | logplain |
| -rw-r--r-- | isl-0.14.patch | 329 | logplain |
| -rw-r--r-- | lablgtk-2.18.3.patch | 3772 | logplain |
| -rw-r--r-- | lablgtk-2.18.6.patch | 3772 | logplain |
| -rw-r--r-- | ln.c | 3971 | logplain |
| -rwxr-xr-x | quickchick.patch | 1092 | logplain |
| -rwxr-xr-x | sed-4.2.2-3.src.patch | 47066 | logplain |
| -rwxr-xr-x | sed-4.2.2.patch | 46866 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |