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

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