Index of /pureos/pool/main/c/coq/


../
coq-theories_8.9.0-1_amd64.deb                     25-Feb-2019 04:07            29737672
coq-theories_8.9.0-1_arm64.deb                     25-Feb-2019 04:07            20367676
coq_8.9.0-1.debian.tar.xz                          25-Feb-2019 03:58               27816
coq_8.9.0-1.dsc                                    25-Feb-2019 03:58                2417
coq_8.9.0-1_amd64.deb                              25-Feb-2019 04:07            58990560
coq_8.9.0-1_arm64.deb                              25-Feb-2019 04:07            63337232
coq_8.9.0.orig.tar.gz                              25-Feb-2019 03:58             5395769
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 25-Feb-2019 04:07            13703936
libcoq-ocaml-dev_8.9.0-1_arm64.deb                 25-Feb-2019 04:07            14001864
libcoq-ocaml_8.9.0-1_amd64.deb                     25-Feb-2019 04:06             5463112
libcoq-ocaml_8.9.0-1_arm64.deb                     25-Feb-2019 04:07             5803688