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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-dbgsym_8.17.0+dfsg-1+b2_ppc64.deb7.9 MiB23.07.2023 06:03
coq_8.17.0+dfsg-1+b2_ppc64.buildinfo16.7 KiB23.07.2023 06:03
coq_8.17.0+dfsg-1+b2_ppc64.deb74.4 MiB23.07.2023 06:03
coqide-dbgsym_8.17.0+dfsg-1+b2_ppc64.deb610.2 KiB23.07.2023 06:03
coqide_8.17.0+dfsg-1+b2_ppc64.deb1.9 MiB23.07.2023 06:03
libcoq-core-ocaml-dbgsym_8.17.0+dfsg-1+b2_ppc64.deb1.6 MiB23.07.2023 06:03
libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_ppc64.deb41.9 MiB23.07.2023 06:03
libcoq-core-ocaml_8.17.0+dfsg-1+b2_ppc64.deb21.7 MiB23.07.2023 06:03
libcoq-stdlib_8.17.0+dfsg-1+b2_ppc64.deb23.9 MiB23.07.2023 06:03