Index of /arm64/pool/universe/c/coq/

../
coq_8.15.0+dfsg-2_arm64.deb                        18-Sep-2023 14:20           106715046
coq_8.18.0+dfsg-1build2_arm64.deb                  24-Apr-2025 19:10           106631086
coqide_8.15.0+dfsg-2_arm64.deb                     18-Sep-2023 14:20             2877382
coqide_8.18.0+dfsg-1build2_arm64.deb               24-Apr-2025 19:10             2820174
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb      18-Sep-2023 14:20            45581026
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64..> 24-Apr-2025 19:10            51860872
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb          18-Sep-2023 14:20            28397634
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb    24-Apr-2025 19:10            29203264
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb              18-Sep-2023 14:20            24696054
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb        24-Apr-2025 19:10            26512160