Index of /pardus-yenikusak/pool/main/c/coq/

../
coq-theories_8.4pl4dfsg-1_all.deb                  10-Mar-2016 09:58     31M
coq_8.4pl4dfsg-1.debian.tar.xz                     10-Mar-2016 10:05     15K
coq_8.4pl4dfsg-1.dsc                               10-Mar-2016 10:05    2374
coq_8.4pl4dfsg-1_amd64.deb                         10-Mar-2016 10:40      4M
coq_8.4pl4dfsg-1_i386.deb                          10-Mar-2016 10:18      4M
coq_8.4pl4dfsg.orig.tar.gz                         10-Mar-2016 10:05      3M
coqide_8.4pl4dfsg-1_amd64.deb                      10-Mar-2016 09:46    779K
coqide_8.4pl4dfsg-1_i386.deb                       10-Mar-2016 10:37    714K
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb            10-Mar-2016 10:39      4M
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb             10-Mar-2016 10:20      4M
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb                10-Mar-2016 10:39      2M
libcoq-ocaml_8.4pl4dfsg-1_i386.deb                 10-Mar-2016 10:42      1M