Index of /blankon/pool/main/c/coq/

../
coq-theories_8.4pl3dfsg-1_all.deb                  19-Jan-2014 16:34     31M
coq-theories_8.5-2+b1_amd64.deb                    09-Jun-2016 13:00     31M
coq-theories_8.5-2+b1_i386.deb                     09-Jun-2016 12:50     30M
coq_8.3.pl4+dfsg-2.debian.tar.gz                   06-Jun-2012 06:32     16K
coq_8.3.pl4+dfsg-2.dsc                             06-Jun-2012 06:32    2343
coq_8.3.pl4+dfsg.orig.tar.gz                       27-Mar-2012 07:02      3M
coq_8.4pl3dfsg-1_amd64.deb                         19-Jan-2014 16:34      4M
coq_8.4pl3dfsg-1_i386.deb                          19-Jan-2014 18:00      4M
coq_8.5-2+b1_amd64.deb                             09-Jun-2016 13:00     12M
coq_8.5-2+b1_i386.deb                              09-Jun-2016 12:50     12M
coq_8.5-2.debian.tar.xz                            28-Jan-2016 16:58     16K
coq_8.5-2.dsc                                      28-Jan-2016 16:58    2396
coq_8.5.orig.tar.gz                                26-Jan-2016 16:43      5M
coqide_8.4pl3dfsg-1_amd64.deb                      19-Jan-2014 16:34    777K
coqide_8.4pl3dfsg-1_i386.deb                       19-Jan-2014 18:00    713K
coqide_8.5-2+b1_amd64.deb                          09-Jun-2016 13:00      1M
coqide_8.5-2+b1_i386.deb                           09-Jun-2016 12:50      1M
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb            19-Jan-2014 16:34      4M
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb             19-Jan-2014 18:00      3M
libcoq-ocaml-dev_8.5-2+b1_amd64.deb                09-Jun-2016 13:00     13M
libcoq-ocaml-dev_8.5-2+b1_i386.deb                 09-Jun-2016 12:50     13M
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb                19-Jan-2014 16:34      2M
libcoq-ocaml_8.4pl3dfsg-1_i386.deb                 19-Jan-2014 18:00      1M
libcoq-ocaml_8.5-2+b1_amd64.deb                    09-Jun-2016 13:00      3M
libcoq-ocaml_8.5-2+b1_i386.deb                     09-Jun-2016 12:50      3M