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-1.debian.tar.xz | 2668 B | |
coq-equations_1.3-8.19-1.dsc | 2166 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-1+b1_amd64.deb | 1152 KiB | |
libcoq-equations_1.3-8.19-1+b1_arm64.deb | 1178 KiB | |
libcoq-equations_1.3-8.19-1+b1_armhf.deb | 1141 KiB | |
libcoq-equations_1.3-8.19-1+b1_i386.deb | 1111 KiB | |
libcoq-equations_1.3-8.19-1+b1_ppc64el.deb | 1166 KiB | |
libcoq-equations_1.3-8.19-1+b1_riscv64.deb | 1153 KiB | |
libcoq-equations_1.3-8.19-1+b1_s390x.deb | 1159 KiB |