Index of /jammy-22.04/pool/universe/c/coq/

../
coq_8.15.0+dfsg-2_amd64.deb                        25-Feb-2024 15:23            95393552
coqide_8.15.0+dfsg-2_amd64.deb                     25-Feb-2024 15:17             2387786
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      25-Feb-2024 15:33            45035496
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          25-Feb-2024 15:28            27070410
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              25-Feb-2024 15:26            24695142