|
📁 ../
|
- |
- |
|
📄 coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
|
54040792 bytes
|
2025-08-01 00:03:25 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
|
16475 bytes
|
2025-08-01 00:03:25 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1.dsc
|
2205 bytes
|
2025-08-01 00:03:25 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
|
5599138 bytes
|
2025-08-01 00:03:25 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb
|
1777754 bytes
|
2025-08-01 00:03:25 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb
|
4883346 bytes
|
2025-08-01 00:03:25 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
|
1777210 bytes
|
2025-08-01 00:03:25 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
|
5592652 bytes
|
2025-08-01 00:03:25 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
|
4880722 bytes
|
2025-08-01 00:03:25 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb
|
1777104 bytes
|
2025-08-01 00:03:26 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
|
1775658 bytes
|
2025-08-01 00:03:26 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
|
5482678 bytes
|
2025-08-01 00:03:26 |
|
📄 coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb
|
1774124 bytes
|
2025-08-01 00:03:26 |
|
📄 coq_8.3.pl3+dfsg.orig.tar.gz
|
3152870 bytes
|
2025-08-01 00:03:26 |
|
📄 coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
|
5540418 bytes
|
2025-08-01 00:03:26 |
|
📄 coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb
|
2483660 bytes
|
2025-08-01 00:03:26 |
|
📄 coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb
|
5118062 bytes
|
2025-08-01 00:03:26 |
|
📄 coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
|
2485248 bytes
|
2025-08-01 00:03:26 |
|
📄 coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
|
5539112 bytes
|
2025-08-01 00:03:26 |
|
📄 coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
|
5116388 bytes
|
2025-08-01 00:03:26 |
|
📄 coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb
|
2485196 bytes
|
2025-08-01 00:03:26 |
|
📄 coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
|
2483616 bytes
|
2025-08-01 00:03:26 |
|
📄 coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
|
5564152 bytes
|
2025-08-01 00:03:27 |
|
📄 coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb
|
2483252 bytes
|
2025-08-01 00:03:27 |
|
📄 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
|
5886524 bytes
|
2025-08-01 00:03:27 |
|
📄 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb
|
2505282 bytes
|
2025-08-01 00:03:27 |
|
📄 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb
|
5748012 bytes
|
2025-08-01 00:03:27 |
|
📄 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
|
2511510 bytes
|
2025-08-01 00:03:27 |
|
📄 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
|
5856994 bytes
|
2025-08-01 00:03:27 |
|
📄 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
|
5709712 bytes
|
2025-08-01 00:03:27 |
|
📄 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb
|
2507912 bytes
|
2025-08-01 00:03:27 |
|
📄 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
|
2506574 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
|
6700426 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb
|
2506406 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
|
2096404 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb
|
534734 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb
|
1852056 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
|
535282 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
|
2094916 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
|
1854494 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb
|
531732 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
|
530486 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
|
2138908 bytes
|
2025-08-01 00:03:28 |
|
📄 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb
|
531036 bytes
|
2025-08-01 00:03:28 |