Index of /professional/pool/main/c/coq/


../
coq-theories_8.5-2_amd64.deb                       29-Jan-2016 00:58     31M
coq-theories_8.5-2_i386.deb                        29-Jan-2016 02:34     30M
coq-theories_8.6-4_amd64.deb                       30-Dec-2016 08:56     30M
coq-theories_8.6-4_i386.deb                        30-Dec-2016 09:57     29M
coq_8.5-2.debian.tar.xz                            29-Jan-2016 00:58     16K
coq_8.5-2.dsc                                      29-Jan-2016 00:58    2396
coq_8.5-2_amd64.deb                                29-Jan-2016 00:58     12M
coq_8.5-2_i386.deb                                 29-Jan-2016 02:34     12M
coq_8.5.orig.tar.gz                                27-Jan-2016 00:43      5M
coq_8.6-4.debian.tar.xz                            30-Dec-2016 08:56     21K
coq_8.6-4.dsc                                      30-Dec-2016 08:56    2396
coq_8.6-4_amd64.deb                                30-Dec-2016 08:56     13M
coq_8.6-4_i386.deb                                 30-Dec-2016 09:57     13M
coq_8.6.orig.tar.gz                                28-Dec-2016 21:44      5M
coqide_8.5-2_amd64.deb                             29-Jan-2016 00:58      1M
coqide_8.5-2_i386.deb                              29-Jan-2016 02:34      1M
coqide_8.6-4_amd64.deb                             30-Dec-2016 08:56      1M
coqide_8.6-4_i386.deb                              30-Dec-2016 09:57      1M
libcoq-ocaml-dev_8.5-2_amd64.deb                   29-Jan-2016 00:58     13M
libcoq-ocaml-dev_8.5-2_i386.deb                    29-Jan-2016 02:34     13M
libcoq-ocaml-dev_8.6-4_amd64.deb                   30-Dec-2016 08:56     13M
libcoq-ocaml-dev_8.6-4_i386.deb                    30-Dec-2016 09:57     13M
libcoq-ocaml_8.5-2_amd64.deb                       29-Jan-2016 00:58      3M
libcoq-ocaml_8.5-2_i386.deb                        29-Jan-2016 02:34      3M
libcoq-ocaml_8.6-4_amd64.deb                       30-Dec-2016 08:56      3M
libcoq-ocaml_8.6-4_i386.deb                        30-Dec-2016 09:57      3M