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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq_8.12.0-3+b3_powerpc.deb2020-11-25 12:03 101M 
[ ]coq-theories_8.12.0-3+b3_powerpc.deb2020-11-25 12:03 23M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_powerpc.deb2020-11-25 12:03 11M 
[ ]libcoq-ocaml_8.12.0-3+b3_powerpc.deb2020-11-25 12:03 5.2M 
[ ]coqide_8.12.0-3+b3_powerpc.deb2020-11-25 12:03 46K 
[ ]libcoq-ocaml-dbgsym_8.12.0-3+b3_powerpc.deb2020-11-25 12:03 35K 
[ ]coq_8.12.0-3+b3_powerpc.buildinfo2020-11-25 12:03 16K