Index of /debian-backports/pool/main/c/coq/
../
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb 01-Aug-2025 00:03 52M
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz 01-Aug-2025 00:03 16K
coq_8.3.pl3+dfsg-1~bpo60+1.dsc 01-Aug-2025 00:03 2205
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 01-Aug-2025 00:03 5M
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb 01-Aug-2025 00:03 2M
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb 01-Aug-2025 00:03 5M
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 01-Aug-2025 00:03 2M
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 01-Aug-2025 00:03 5M
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 01-Aug-2025 00:03 5M
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb 01-Aug-2025 00:03 2M
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 01-Aug-2025 00:03 2M
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 01-Aug-2025 00:03 5M
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb 01-Aug-2025 00:03 2M
coq_8.3.pl3+dfsg.orig.tar.gz 01-Aug-2025 00:03 3M
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 01-Aug-2025 00:03 5M
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb 01-Aug-2025 00:03 2M
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb 01-Aug-2025 00:03 5M
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 01-Aug-2025 00:03 2M
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 01-Aug-2025 00:03 5M
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 01-Aug-2025 00:03 5M
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb 01-Aug-2025 00:03 2M
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 01-Aug-2025 00:03 2M
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 01-Aug-2025 00:03 5M
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb 01-Aug-2025 00:03 2M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 01-Aug-2025 00:03 6M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb 01-Aug-2025 00:03 2M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb 01-Aug-2025 00:03 5M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 01-Aug-2025 00:03 2M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebs..> 01-Aug-2025 00:03 6M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebs..> 01-Aug-2025 00:03 5M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb 01-Aug-2025 00:03 2M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 01-Aug-2025 00:03 2M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc..> 01-Aug-2025 00:03 6M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb 01-Aug-2025 00:03 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 01-Aug-2025 00:03 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb 01-Aug-2025 00:03 522K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb 01-Aug-2025 00:03 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 01-Aug-2025 00:03 523K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-am..> 01-Aug-2025 00:03 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i3..> 01-Aug-2025 00:03 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb 01-Aug-2025 00:03 519K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 01-Aug-2025 00:03 518K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 01-Aug-2025 00:03 2M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb 01-Aug-2025 00:03 519K