Index of /raspbian/pool/main/c/coq/

../
coq-theories_8.12.0-3+b2_armhf.deb                 03-Dec-2020 17:49            23922776
coq-theories_8.9.0-1_armhf.deb                     25-Feb-2019 10:08            20350056
coq_8.12.0-3+b2_armhf.deb                          03-Dec-2020 17:49            86025776
coq_8.9.0-1_armhf.deb                              25-Feb-2019 10:08            55637572
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-dev_8.9.0-1_armhf.deb                 25-Feb-2019 10:08            14303792
libcoq-ocaml_8.12.0-3+b2_armhf.deb                 03-Dec-2020 17:49             7674492
libcoq-ocaml_8.9.0-1_armhf.deb                     25-Feb-2019 10:08             5325948