Index of /pool/main/c/coq/

../
coq-theories_8.11.0-1_amd64.deb                    02-Apr-2022 04:41            33079952
coq-theories_8.6-5build1_amd64.deb                 06-Apr-2022 20:24            33181580
coq_8.11.0-1_amd64.deb                             02-Apr-2022 05:14            76583920
coq_8.15.0+dfsg-2_amd64.deb                        31-Mar-2022 20:05            95393552
coq_8.18.0+dfsg-1build2_amd64.deb                  07-Apr-2024 20:46            95929242
coq_8.6-5build1_amd64.deb                          06-Apr-2022 19:59            17673808
coqide_8.11.0-1_amd64.deb                          02-Apr-2022 07:04             1758824
coqide_8.15.0+dfsg-2_amd64.deb                     31-Mar-2022 19:46             2387786
coqide_8.18.0+dfsg-1build2_amd64.deb               07-Apr-2024 20:42             2349532
coqide_8.6-5build1_amd64.deb                       06-Apr-2022 19:42             1544828
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      31-Mar-2022 18:57            45035496
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 07-Apr-2024 20:43            51407928
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          31-Mar-2022 22:24            27070410
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    07-Apr-2024 20:51            27687350
libcoq-ocaml-dev_8.11.0-1_amd64.deb                02-Apr-2022 05:32            16068892
libcoq-ocaml-dev_8.6-5build1_amd64.deb             06-Apr-2022 21:11            13815188
libcoq-ocaml_8.11.0-1_amd64.deb                    02-Apr-2022 07:00             6324304
libcoq-ocaml_8.6-5build1_amd64.deb                 06-Apr-2022 20:23             3564612
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              31-Mar-2022 22:10            24695142
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        07-Apr-2024 20:51            26511990