Filename | Modification time | Size |
---|---|---|
coq-equations_1.3-8.16-2.debian.tar.xz | 2232 B | |
coq-equations_1.3-8.16-2.dsc | 2166 B | |
coq-equations_1.3-8.16.orig.tar.gz | 1072 KiB | |
coq-equations_1.3-8.19-2.debian.tar.xz | 2724 B | |
coq-equations_1.3-8.19-2.dsc | 1942 B | |
coq-equations_1.3-8.19.orig.tar.gz | 1077 KiB | |
libcoq-equations_1.3-8.16-2+b1_amd64.deb | 1389 KiB | |
libcoq-equations_1.3-8.16-2+b1_arm64.deb | 1412 KiB | |
libcoq-equations_1.3-8.16-2+b1_armhf.deb | 1373 KiB | |
libcoq-equations_1.3-8.16-2+b1_i386.deb | 1333 KiB | |
libcoq-equations_1.3-8.16-2+b1_ppc64el.deb | 1396 KiB | |
libcoq-equations_1.3-8.16-2+b1_s390x.deb | 1402 KiB | |
libcoq-equations_1.3-8.19-2+b2_amd64.deb | 1192 KiB | |
libcoq-equations_1.3-8.19-2+b2_arm64.deb | 1214 KiB | |
libcoq-equations_1.3-8.19-2+b2_ppc64el.deb | 1196 KiB | |
libcoq-equations_1.3-8.19-2+b2_riscv64.deb | 1192 KiB | |
libcoq-equations_1.3-8.19-2+b2_s390x.deb | 1197 KiB | |
libcoq-equations_1.3-8.19-2_armhf.deb | 1140 KiB | |
libcoq-equations_1.3-8.19-2_i386.deb | 1111 KiB |