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

../
coq-dbgsym_8.17.0+dfsg-1+b2_ppc64.deb              23-Jul-2023 06:03             8258436
coq_8.17.0+dfsg-1+b2_ppc64.buildinfo               23-Jul-2023 06:03               17071
coq_8.17.0+dfsg-1+b2_ppc64.deb                     23-Jul-2023 06:03            77972884
coqide-dbgsym_8.17.0+dfsg-1+b2_ppc64.deb           23-Jul-2023 06:03              624864
coqide_8.17.0+dfsg-1+b2_ppc64.deb                  23-Jul-2023 06:03             2012696
libcoq-core-ocaml-dbgsym_8.17.0+dfsg-1+b2_ppc64..> 23-Jul-2023 06:03             1694176
libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_ppc64.deb   23-Jul-2023 06:03            43967920
libcoq-core-ocaml_8.17.0+dfsg-1+b2_ppc64.deb       23-Jul-2023 06:03            22768732
libcoq-stdlib_8.17.0+dfsg-1+b2_ppc64.deb           23-Jul-2023 06:03            25097556