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