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

../
coq-theories_8.12.0-3+b3_x32.deb                   25-Nov-2020 12:03            23916892
coq_8.12.0-3+b3_x32.buildinfo                      25-Nov-2020 12:03               16049
coq_8.12.0-3+b3_x32.deb                            25-Nov-2020 12:03           105879376
coqide_8.12.0-3+b3_x32.deb                         25-Nov-2020 12:03               46740
libcoq-ocaml-dbgsym_8.12.0-3+b3_x32.deb            25-Nov-2020 12:03               38460
libcoq-ocaml-dev_8.12.0-3+b3_x32.deb               25-Nov-2020 12:03            11282852
libcoq-ocaml_8.12.0-3+b3_x32.deb                   25-Nov-2020 12:03             5461484