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~gamma.orig.tar.gz.delta | 47036 | logplain |
-rw-r--r-- | coq_8.1~gamma.orig.tar.gz.id | 41 | logplain |