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

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