Index of /etap/pool/main/c/coq/

../
coq-theories_8.4pl4dfsg-1_all.deb                  27-Sep-2017 15:55     31M
coq_8.4pl4dfsg-1.debian.tar.xz                     27-Sep-2017 18:20     15K
coq_8.4pl4dfsg-1.dsc                               27-Sep-2017 18:20    2374
coq_8.4pl4dfsg-1_amd64.deb                         27-Sep-2017 17:35      4M
coq_8.4pl4dfsg-1_i386.deb                          27-Sep-2017 16:05      4M
coq_8.4pl4dfsg.orig.tar.gz                         27-Sep-2017 18:20      3M
coqide_8.4pl4dfsg-1_amd64.deb                      27-Sep-2017 18:41    779K
coqide_8.4pl4dfsg-1_i386.deb                       27-Sep-2017 16:00    714K
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb            27-Sep-2017 18:38      4M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb             27-Sep-2017 18:40      4M
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb                27-Sep-2017 18:08      2M
libcoq-ocaml_8.4pl4dfsg-1_i386.deb                 27-Sep-2017 18:35      1M