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

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