Filename | Modification time | Size |
---|---|---|
coq-stdpp_1.8.0-3build2.debian.tar.xz | 2468 B | |
coq-stdpp_1.8.0-3build2.dsc | 2055 B | |
coq-stdpp_1.8.0-4build1.debian.tar.xz | 2488 B | |
coq-stdpp_1.8.0-4build1.dsc | 2055 B | |
coq-stdpp_1.8.0.orig.tar.gz | 249 KiB | |
coq-stdpp_1.9.0-1build3.debian.tar.xz | 2792 B | |
coq-stdpp_1.9.0-1build3.dsc | 2144 B | |
coq-stdpp_1.9.0.orig.tar.gz | 291 KiB | |
coq-stdpp_1.10.0-2.debian.tar.xz | 2760 B | |
coq-stdpp_1.10.0-2.dsc | 1843 B | |
coq-stdpp_1.10.0-2build1.debian.tar.xz | 2828 B | |
coq-stdpp_1.10.0-2build1.dsc | 2072 B | |
coq-stdpp_1.10.0.orig.tar.gz | 296 KiB | |
libcoq-stdpp_1.8.0-3build2_amd64.deb | 4598 KiB | |
libcoq-stdpp_1.8.0-4build1_amd64.deb | 4585 KiB | |
libcoq-stdpp_1.9.0-1build3_amd64.deb | 5127 KiB | |
libcoq-stdpp_1.10.0-2_amd64.deb | 5319 KiB | |
libcoq-stdpp_1.10.0-2build1_amd64.deb | 5319 KiB |