Index of /repo.pureos.net/pureos/pool/main/c/coq/

../
coq-theories_8.12.0-3+b3_amd64.deb                 30-Nov-2020 02:43            36501836
coq-theories_8.12.0-3+b3_arm64.deb                 30-Nov-2020 02:43            23925860
coq_8.12.0-3+b3_amd64.deb                          30-Nov-2020 02:43            90453192
coq_8.12.0-3+b3_arm64.deb                          30-Nov-2020 02:43            96071892
coqide_8.12.0-3+b3_amd64.deb                       30-Nov-2020 02:43             1879212
coqide_8.12.0-3+b3_arm64.deb                       30-Nov-2020 02:43             2170596
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             30-Nov-2020 02:43            18727404
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb             30-Nov-2020 02:43            18726796
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 30-Nov-2020 02:43             7758156
libcoq-ocaml_8.12.0-3+b3_arm64.deb                 30-Nov-2020 02:43             7980456