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

../
coq-theories_8.6-4_amd64.deb                       30-Dec-2016 00:56            31441296
coq-theories_8.6-4_i386.deb                        30-Dec-2016 01:57            30400702
coq_8.6-4.debian.tar.xz                            30-Dec-2016 00:56               21972
coq_8.6-4.dsc                                      30-Dec-2016 00:56                2396
coq_8.6-4_amd64.deb                                30-Dec-2016 00:56            13953402
coq_8.6-4_i386.deb                                 30-Dec-2016 01:57            13593774
coq_8.6.orig.tar.gz                                28-Dec-2016 13:44             5008604
coqide_8.6-4_amd64.deb                             30-Dec-2016 00:56             1406016
coqide_8.6-4_i386.deb                              30-Dec-2016 01:57             1313916
libcoq-ocaml-dev_8.6-4_amd64.deb                   30-Dec-2016 00:56            13289600
libcoq-ocaml-dev_8.6-4_i386.deb                    30-Dec-2016 01:57            13323506
libcoq-ocaml_8.6-4_amd64.deb                       30-Dec-2016 00:56             3502166
libcoq-ocaml_8.6-4_i386.deb                        30-Dec-2016 01:57             3401658