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

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