Index of /ubuntu/pool/universe/c/coq/

../
coq-theories_8.11.0-1_amd64.deb                    24-Nov-2024 13:19            33079952
coq_8.11.0-1.debian.tar.xz                         18-Dec-2023 16:19               31672
coq_8.11.0-1.dsc                                   18-Dec-2023 16:19                2496
coq_8.11.0-1_amd64.deb                             24-Nov-2024 13:19            76583920
coq_8.11.0.orig.tar.gz                             18-Dec-2023 16:19             5825620
coq_8.15.0+dfsg-2.debian.tar.xz                    18-Dec-2023 16:21               39672
coq_8.15.0+dfsg-2.dsc                              18-Dec-2023 16:21                2599
coq_8.15.0+dfsg-2_amd64.deb                        24-Nov-2024 13:21            95393552
coq_8.15.0+dfsg.orig.tar.xz                        18-Dec-2023 16:21             4669948
coqide_8.11.0-1_amd64.deb                          24-Nov-2024 13:19             1758824
coqide_8.15.0+dfsg-2_amd64.deb                     24-Nov-2024 13:21             2387786
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      24-Nov-2024 13:21            45035496
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          24-Nov-2024 13:21            27070410
libcoq-ocaml-dev_8.11.0-1_amd64.deb                24-Nov-2024 13:19            16068892
libcoq-ocaml_8.11.0-1_amd64.deb                    24-Nov-2024 13:19             6324304
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              24-Nov-2024 13:21            24695142