Index of /mirror/archive.ubuntu.com/ubuntu/pool/universe/c/coq/

../
coq-theories_8.6-5build1_i386.deb                  28-Oct-2017 15:34            32170552
coq_8.6-5build1.debian.tar.xz                      28-Oct-2017 14:39               21864
coq_8.6-5build1.dsc                                28-Oct-2017 14:39                2403
coq_8.6-5build1_i386.deb                           28-Oct-2017 15:34            16948548
coq_8.6.orig.tar.gz                                28-Dec-2016 17:13             5008604
coqide_8.6-5build1_i386.deb                        28-Oct-2017 15:34             1388920
libcoq-ocaml-dev_8.6-5build1_i386.deb              28-Oct-2017 15:34            13796020
libcoq-ocaml_8.6-5build1_i386.deb                  28-Oct-2017 15:34             3394144