Parent Directory | | - | |
coqprime-tools_8.20.1-1build5_amd64.deb | 27 days ago | 181K | |
libcoq-coqprime_8.20.1-1build5_amd64.deb | 27 days ago | 2.0M | |
coqprime_8.20.1-1build5.dsc | 28 days ago | 2.1K | |
coqprime_8.20.1-1build5.debian.tar.xz | 28 days ago | 3.6K | TAR compressed archive |
coqprime-tools_8.20.1-1build4_amd64.deb | 5 months ago | 183K | |
libcoq-coqprime_8.20.1-1build4_amd64.deb | 5 months ago | 2.0M | |
coqprime_8.20.1-1build4.dsc | 5 months ago | 2.1K | |
coqprime_8.20.1-1build4.debian.tar.xz | 5 months ago | 3.5K | TAR compressed archive |
coqprime_8.20.1.orig.tar.gz | 6 months ago | 1.0M | GZIP compressed TAR archive |
coqprime-tools_8.19-2build3_amd64.deb | 10 months ago | 180K | |
libcoq-coqprime_8.19-2build3_amd64.deb | 10 months ago | 2.0M | |
coqprime_8.19-2build3.dsc | 10 months ago | 2.1K | |
coqprime_8.19-2build3.debian.tar.xz | 10 months ago | 3.5K | TAR compressed archive |
coqprime_8.19.orig.tar.gz | 1 year ago | 1.0M | GZIP compressed TAR archive |
coqprime-tools_8.18-1build3_amd64.deb | 1 year ago | 175K | |
libcoq-coqprime_8.18-1build3_amd64.deb | 1 year ago | 1.9M | |
coqprime_8.18-1build3.dsc | 1 year ago | 2.2K | |
coqprime_8.18-1build3.debian.tar.xz | 1 year ago | 3.4K | TAR compressed archive |
coqprime_8.18.orig.tar.gz | 2 years ago | 1.0M | GZIP compressed TAR archive |