| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coq_8.0pl1.orig.tar.gz.delta | 44992 | logplain |
| -rw-r--r-- | coq_8.0pl1.orig.tar.gz.id | 41 | logplain |
| -rw-r--r-- | coq_8.0pl2.orig.tar.gz.delta | 44755 | logplain |
| -rw-r--r-- | coq_8.0pl2.orig.tar.gz.id | 41 | logplain |
| -rw-r--r-- | coq_8.0pl3+8.1alpha.orig.tar.gz.delta | 46490 | logplain |
| -rw-r--r-- | coq_8.0pl3+8.1alpha.orig.tar.gz.id | 41 | logplain |
| -rw-r--r-- | coq_8.0pl3+8.1beta.2.orig.tar.gz.delta | 50103 | logplain |
| -rw-r--r-- | coq_8.0pl3+8.1beta.2.orig.tar.gz.id | 41 | logplain |
| -rw-r--r-- | coq_8.0pl3+8.1beta.orig.tar.gz.delta | 48777 | logplain |
| -rw-r--r-- | coq_8.0pl3+8.1beta.orig.tar.gz.id | 41 | logplain |
| -rw-r--r-- | coq_8.0pl3.orig.tar.gz.delta | 46061 | logplain |
| -rw-r--r-- | coq_8.0pl3.orig.tar.gz.id | 41 | logplain |
| -rw-r--r-- | coq_8.1+dfsg.orig.tar.gz.delta | 46093 | logplain |
| -rw-r--r-- | coq_8.1+dfsg.orig.tar.gz.id | 41 | logplain |
| -rw-r--r-- | coq_8.1~gamma.orig.tar.gz.delta | 47036 | logplain |
| -rw-r--r-- | coq_8.1~gamma.orig.tar.gz.id | 41 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |