Index of /pool/universe/c/coq/

../
coq-theories_8.11.0-1_amd64.deb                    03-Sep-2025 18:20            33079952
coq-theories_8.6-5build1_amd64.deb                 11-Sep-2025 17:58            33181580
coq_8.11.0-1_amd64.deb                             03-Sep-2025 17:54            76583920
coq_8.15.0+dfsg-2_amd64.deb                        04-Sep-2025 21:44            95393552
coq_8.18.0+dfsg-1build2_amd64.deb                  04-Sep-2025 17:56            95929242
coq_8.6-5build1_amd64.deb                          11-Sep-2025 17:41            17673808
coqide_8.11.0-1_amd64.deb                          03-Sep-2025 18:01             1758824
coqide_8.15.0+dfsg-2_amd64.deb                     04-Sep-2025 22:10             2387786
coqide_8.18.0+dfsg-1build2_amd64.deb               04-Sep-2025 17:55             2349532
coqide_8.6-5build1_amd64.deb                       11-Sep-2025 17:59             1544828
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      04-Sep-2025 21:28            45035496
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 04-Sep-2025 17:37            51407928
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          04-Sep-2025 21:31            27070410
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    04-Sep-2025 17:15            27687350
libcoq-ocaml-dev_8.11.0-1_amd64.deb                03-Sep-2025 18:21            16068892
libcoq-ocaml-dev_8.6-5build1_amd64.deb             11-Sep-2025 18:08            13815188
libcoq-ocaml_8.11.0-1_amd64.deb                    03-Sep-2025 18:15             6324304
libcoq-ocaml_8.6-5build1_amd64.deb                 11-Sep-2025 18:05             3564612
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              04-Sep-2025 21:28            24695142
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        04-Sep-2025 17:27            26511990