Index of /pool/universe/c/coq/

../
coq_8.18.0+dfsg-1build2_arm64.deb                  01-Apr-2024 01:55           106631086
coq_8.18.0+dfsg-1build2_armhf.deb                  01-Apr-2024 01:55            93685498
coqide_8.18.0+dfsg-1build2_arm64.deb               01-Apr-2024 01:55             2820174
coqide_8.18.0+dfsg-1build2_armhf.deb               01-Apr-2024 01:55             2177524
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64..> 01-Apr-2024 01:55            51860872
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf..> 01-Apr-2024 01:55            51976842
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb    01-Apr-2024 01:55            29203264
libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb    01-Apr-2024 01:55            27547398
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb        01-Apr-2024 01:55            26512160
libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb        01-Apr-2024 01:55            26507848