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