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.orig.tar.gz.delta | 46061 | logplain |
-rw-r--r-- | coq_8.0pl3.orig.tar.gz.id | 41 | logplain |