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

../
coq-theories_8.12.0-3+b3_x32.deb                   25-Nov-2020 21:03     23M
coq_8.12.0-3+b3_x32.buildinfo                      25-Nov-2020 21:03     16K
coq_8.12.0-3+b3_x32.deb                            25-Nov-2020 21:03    101M
coqide_8.12.0-3+b3_x32.deb                         25-Nov-2020 21:03     46K
libcoq-ocaml-dbgsym_8.12.0-3+b3_x32.deb            25-Nov-2020 21:03     38K
libcoq-ocaml-dev_8.12.0-3+b3_x32.deb               25-Nov-2020 21:03     11M
libcoq-ocaml_8.12.0-3+b3_x32.deb                   25-Nov-2020 21:03      5M