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

../
coq-theories_8.12.0-3+b3_powerpc.deb               25-Nov-2020 12:03            23915324
coq_8.12.0-3+b3_powerpc.buildinfo                  25-Nov-2020 12:03               16112
coq_8.12.0-3+b3_powerpc.deb                        25-Nov-2020 12:03           105873540
coq_9.2.0+dfsg-1_powerpc.buildinfo                 10-Jul-2026 12:03               16084
coq_9.2.0+dfsg-1_powerpc.deb                       10-Jul-2026 12:03            24101784
coqide_8.12.0-3+b3_powerpc.deb                     25-Nov-2020 12:03               46756
libcoq-core-ocaml-dev_9.2.0+dfsg-1_powerpc.deb     10-Jul-2026 12:03            46304424
libcoq-core-ocaml_9.2.0+dfsg-1_powerpc.deb         10-Jul-2026 12:03            18000564
libcoq-core_9.2.0+dfsg-1_powerpc.deb               10-Jul-2026 12:03             1151476
libcoq-ocaml-dbgsym_8.12.0-3+b3_powerpc.deb        25-Nov-2020 12:03               35560
libcoq-ocaml-dev_8.12.0-3+b3_powerpc.deb           25-Nov-2020 12:03            11282100
libcoq-ocaml_8.12.0-3+b3_powerpc.deb               25-Nov-2020 12:03             5461796
rocqide_9.2.0+dfsg-1_powerpc.deb                   10-Jul-2026 12:03              622168