Index of /18092020/pool/main/c/coq/

../
coq-theories_8.11.0-1+b1_amd64.deb                 29-Oct-2020 13:47            33269648
coq-theories_8.11.0-1+b1_arm64.deb                 29-Oct-2020 13:47            21431952
coq_8.11.0-1+b1_amd64.deb                          29-Oct-2020 13:47            76593512
coq_8.11.0-1+b1_arm64.deb                          29-Oct-2020 13:47            83882096
coqide_8.11.0-1+b1_amd64.deb                       29-Oct-2020 13:47             1719048
coqide_8.11.0-1+b1_arm64.deb                       29-Oct-2020 13:47             2057764
libcoq-ocaml-dev_8.11.0-1+b1_amd64.deb             29-Oct-2020 14:14            16070112
libcoq-ocaml-dev_8.11.0-1+b1_arm64.deb             29-Oct-2020 14:14            16437436
libcoq-ocaml_8.11.0-1+b1_amd64.deb                 29-Oct-2020 14:14             6354016
libcoq-ocaml_8.11.0-1+b1_arm64.deb                 29-Oct-2020 14:14             6753356