Index of /raspbian.raspberrypi.org/raspbian/pool/main/c/coq/

../
coq-theories_8.12.0-3+b2_armhf.deb                 03-Dec-2020 17:49            23922776
coq_8.12.0-3+b2_armhf.deb                          03-Dec-2020 17:49            86025776
coqide_8.12.0-3+b2_armhf.deb                       03-Dec-2020 17:49             1640556
libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb             03-Dec-2020 17:49            19075512
libcoq-ocaml_8.12.0-3+b2_armhf.deb                 03-Dec-2020 17:49             7674492