Filename | Modification time | Size |
---|---|---|
coqprime-tools_8.15-2build2_amd64.deb | 176 KiB | |
coqprime-tools_8.17-1build1_amd64.deb | 172 KiB | |
coqprime-tools_8.18-1build3_amd64.deb | 175 KiB | |
coqprime-tools_8.19-2_amd64.deb | 174 KiB | |
coqprime-tools_8.19-2build1_amd64.deb | 180 KiB | |
coqprime_8.15-2build2.debian.tar.xz | 3660 B | |
coqprime_8.15-2build2.dsc | 2148 B | |
coqprime_8.15.orig.tar.gz | 964 KiB | |
coqprime_8.17-1build1.debian.tar.xz | 3212 B | |
coqprime_8.17-1build1.dsc | 2148 B | |
coqprime_8.17.orig.tar.gz | 973 KiB | |
coqprime_8.18-1build3.debian.tar.xz | 3492 B | |
coqprime_8.18-1build3.dsc | 2227 B | |
coqprime_8.18.orig.tar.gz | 973 KiB | |
coqprime_8.19-2.debian.tar.xz | 3412 B | |
coqprime_8.19-2.dsc | 1916 B | |
coqprime_8.19-2build1.debian.tar.xz | 3476 B | |
coqprime_8.19-2build1.dsc | 2148 B | |
coqprime_8.19.orig.tar.gz | 973 KiB | |
libcoq-coqprime_8.15-2build2_amd64.deb | 1864 KiB | |
libcoq-coqprime_8.17-1build1_amd64.deb | 1982 KiB | |
libcoq-coqprime_8.18-1build3_amd64.deb | 1974 KiB | |
libcoq-coqprime_8.19-2_amd64.deb | 2024 KiB | |
libcoq-coqprime_8.19-2build1_amd64.deb | 2025 KiB |