File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.12.0-3+b3_powerpc.deb22.8 MiB2020-Nov-25 14:03
coq_8.12.0-3+b3_powerpc.buildinfo15.7 KiB2020-Nov-25 14:03
coq_8.12.0-3+b3_powerpc.deb101.0 MiB2020-Nov-25 14:03
coq_9.2.0+dfsg-1_powerpc.buildinfo15.7 KiB2026-Jul-10 14:03
coq_9.2.0+dfsg-1_powerpc.deb23.0 MiB2026-Jul-10 14:03
coqide_8.12.0-3+b3_powerpc.deb45.7 KiB2020-Nov-25 14:03
libcoq-core-ocaml-dev_9.2.0+dfsg-1_powerpc.deb44.2 MiB2026-Jul-10 14:03
libcoq-core-ocaml_9.2.0+dfsg-1_powerpc.deb17.2 MiB2026-Jul-10 14:03
libcoq-core_9.2.0+dfsg-1_powerpc.deb1.1 MiB2026-Jul-10 14:03
libcoq-ocaml-dbgsym_8.12.0-3+b3_powerpc.deb34.7 KiB2020-Nov-25 14:03
libcoq-ocaml-dev_8.12.0-3+b3_powerpc.deb10.8 MiB2020-Nov-25 14:03
libcoq-ocaml_8.12.0-3+b3_powerpc.deb5.2 MiB2020-Nov-25 14:03
rocqide_9.2.0+dfsg-1_powerpc.deb607.6 KiB2026-Jul-10 14:03