Index of /univention-repository/pool/main/c/coq/

../
coq-theories_8.12.0-3+b3_amd64.deb                 25-Feb-2023 16:37            36501836
coq-theories_8.9.0-1_amd64.deb                     27-Aug-2019 09:43            29737672
coq_8.12.0-3+b3_amd64.deb                          25-Feb-2023 16:37            90453192
coq_8.16.1+dfsg-1+b2_amd64.deb                     12-Mar-2023 07:19            93212572
coq_8.9.0-1_amd64.deb                              27-Aug-2019 09:43            58990560
coqide_8.12.0-3+b3_amd64.deb                       25-Feb-2023 16:37             1879212
coqide_8.16.1+dfsg-1+b2_amd64.deb                  12-Mar-2023 07:19             1993412
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   12-Mar-2023 07:19            42725424
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       12-Mar-2023 07:19            22556068
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             25-Feb-2023 16:37            18727404
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 27-Aug-2019 09:43            13703936
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 25-Feb-2023 16:37             7758156
libcoq-ocaml_8.9.0-1_amd64.deb                     27-Aug-2019 09:43             5463112
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           12-Mar-2023 07:19            21526056