Index of /mirror/debian/pool/main/c/coq/

../
coq_8.16.1+dfsg-1+b2_arm64.deb                     12-Feb-2023 18:55           102168100
coq_8.16.1+dfsg-1+b2_armhf.deb                     12-Feb-2023 18:55            89867592
coqide_8.16.1+dfsg-1+b2_arm64.deb                  12-Feb-2023 18:55             2310756
coqide_8.16.1+dfsg-1+b2_armhf.deb                  12-Feb-2023 18:55             1834728
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   12-Feb-2023 18:55            42825080
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb   12-Feb-2023 18:55            43114464
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       12-Feb-2023 18:55            23093000
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb       12-Feb-2023 18:55            22259280
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           12-Feb-2023 18:55            21528036
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb           12-Feb-2023 18:55            21527688