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

../
coq_9.2.0+dfsg-2_alpha.buildinfo                   21-Jul-2026 12:03     16K
coq_9.2.0+dfsg-2_alpha.deb                         21-Jul-2026 12:03     23M
coq_9.2.0+dfsg-3_alpha.buildinfo                   27-Jul-2026 18:03     16K
coq_9.2.0+dfsg-3_alpha.deb                         27-Jul-2026 18:03     23M
libcoq-core-ocaml-dev_9.2.0+dfsg-2_alpha.deb       21-Jul-2026 12:03     44M
libcoq-core-ocaml-dev_9.2.0+dfsg-3_alpha.deb       27-Jul-2026 18:03     44M
libcoq-core-ocaml_9.2.0+dfsg-2_alpha.deb           21-Jul-2026 12:03     17M
libcoq-core-ocaml_9.2.0+dfsg-3_alpha.deb           27-Jul-2026 18:03     17M
libcoq-core_9.2.0+dfsg-2_alpha.deb                 21-Jul-2026 12:03      1M
libcoq-core_9.2.0+dfsg-3_alpha.deb                 27-Jul-2026 18:03      1M
rocqide_9.2.0+dfsg-2_alpha.deb                     21-Jul-2026 12:03    593K
rocqide_9.2.0+dfsg-3_alpha.deb                     27-Jul-2026 18:03    594K