Index of /debian-ports/pool-alpha/main/c/coq/

../
coq-theories_8.12.0-3+b3_alpha.deb                 26-Nov-2020 00:03            23921660
coq_8.12.0-3+b3_alpha.buildinfo                    26-Nov-2020 00:03               15725
coq_8.12.0-3+b3_alpha.deb                          26-Nov-2020 00:03           105861744
coq_9.2.0+dfsg-1_alpha.buildinfo                   10-Jul-2026 12:03               15876
coq_9.2.0+dfsg-1_alpha.deb                         10-Jul-2026 12:03            24221324
coqide_8.12.0-3+b3_alpha.deb                       26-Nov-2020 00:03               46740
libcoq-core-ocaml-dev_9.2.0+dfsg-1_alpha.deb       10-Jul-2026 12:03            46292464
libcoq-core-ocaml_9.2.0+dfsg-1_alpha.deb           10-Jul-2026 12:03            17996416
libcoq-core_9.2.0+dfsg-1_alpha.deb                 10-Jul-2026 12:03             1151548
libcoq-ocaml-dbgsym_8.12.0-3+b3_alpha.deb          26-Nov-2020 00:03               33560
libcoq-ocaml-dev_8.12.0-3+b3_alpha.deb             26-Nov-2020 00:03            11280256
libcoq-ocaml_8.12.0-3+b3_alpha.deb                 26-Nov-2020 00:03             5460960
rocqide_9.2.0+dfsg-1_alpha.deb                     10-Jul-2026 12:03              606852