Filename | Modification time | Size |
---|---|---|
libcoq-paramcoq_1.1.3+coq8.16-3build2_amd64.deb | 126 KiB | |
libcoq-paramcoq_1.1.3+coq8.17-2_amd64.deb | 126 KiB | |
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb | 127 KiB | |
libcoq-paramcoq_1.1.3+coq8.19-2_amd64.deb | 116 KiB | |
paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz | 2964 B | |
paramcoq_1.1.3+coq8.16-3build2.dsc | 2110 B | |
paramcoq_1.1.3+coq8.16.orig.tar.gz | 45 KiB | |
paramcoq_1.1.3+coq8.17-2.debian.tar.xz | 3048 B | |
paramcoq_1.1.3+coq8.17-2.dsc | 2111 B | |
paramcoq_1.1.3+coq8.17.orig.tar.gz | 45 KiB | |
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz | 3244 B | |
paramcoq_1.1.3+coq8.18-1build2.dsc | 2189 B | |
paramcoq_1.1.3+coq8.18.orig.tar.gz | 45 KiB | |
paramcoq_1.1.3+coq8.19-2.debian.tar.xz | 3168 B | |
paramcoq_1.1.3+coq8.19-2.dsc | 1887 B | |
paramcoq_1.1.3+coq8.19-2build1.debian.tar.xz | 3244 B | |
paramcoq_1.1.3+coq8.19-2build1.dsc | 2110 B | |
paramcoq_1.1.3+coq8.19.orig.tar.gz | 45 KiB |