| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ReplaceInFile.nsh | 1578 | logplain |
| -rw-r--r-- | StrRep.nsh | 1107 | 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 | 8303 | 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 | 3093 | logplain |
| -rw-r--r-- | ln.c | 3970 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |