Index of /mirrors/parrot/pool/main/c/coq/

../
coq_8.16.1+dfsg-1+b2_amd64.deb                     02-Aug-2025 08:23     89M
coq_8.16.1+dfsg-1+b2_arm64.deb                     02-Aug-2025 08:23     97M
coq_8.16.1+dfsg-1+b2_armhf.deb                     02-Aug-2025 08:23     86M
coq_8.16.1+dfsg-1+b2_i386.deb                      02-Aug-2025 08:23     83M
coq_8.16.1+dfsg-1.debian.tar.xz                    02-Aug-2025 08:23     32K
coq_8.16.1+dfsg-1.dsc                              02-Aug-2025 08:23    2629
coq_8.16.1+dfsg.orig.tar.xz                        02-Aug-2025 08:23      4M
coqide_8.16.1+dfsg-1+b2_amd64.deb                  02-Aug-2025 08:23      2M
coqide_8.16.1+dfsg-1+b2_arm64.deb                  02-Aug-2025 08:23      2M
coqide_8.16.1+dfsg-1+b2_armhf.deb                  02-Aug-2025 08:23      2M
coqide_8.16.1+dfsg-1+b2_i386.deb                   02-Aug-2025 08:23      2M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   02-Aug-2025 08:23     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   02-Aug-2025 08:23     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb   02-Aug-2025 08:23     41M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    02-Aug-2025 08:23     40M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       02-Aug-2025 08:23     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       02-Aug-2025 08:23     22M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb       02-Aug-2025 08:23     21M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        02-Aug-2025 08:23     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           02-Aug-2025 08:23     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           02-Aug-2025 08:23     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb           02-Aug-2025 08:23     21M
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            02-Aug-2025 08:23     21M