Index of /professional/pool/main/c/coq/
../
coq-theories_8.5-2_amd64.deb 29-Jan-2016 00:58 32915922
coq-theories_8.5-2_i386.deb 29-Jan-2016 02:34 31513030
coq-theories_8.6-4_amd64.deb 30-Dec-2016 08:56 31441296
coq-theories_8.6-4_i386.deb 30-Dec-2016 09:57 30400702
coq_8.5-2.debian.tar.xz 29-Jan-2016 00:58 16660
coq_8.5-2.dsc 29-Jan-2016 00:58 2396
coq_8.5-2_amd64.deb 29-Jan-2016 00:58 12751160
coq_8.5-2_i386.deb 29-Jan-2016 02:34 12495196
coq_8.5.orig.tar.gz 27-Jan-2016 00:43 4824349
coq_8.6-4.debian.tar.xz 30-Dec-2016 08:56 21972
coq_8.6-4.dsc 30-Dec-2016 08:56 2396
coq_8.6-4_amd64.deb 30-Dec-2016 08:56 13953402
coq_8.6-4_i386.deb 30-Dec-2016 09:57 13593774
coq_8.6.orig.tar.gz 28-Dec-2016 21:44 5008604
coqide_8.5-2_amd64.deb 29-Jan-2016 00:58 1140518
coqide_8.5-2_i386.deb 29-Jan-2016 02:34 1089748
coqide_8.6-4_amd64.deb 30-Dec-2016 08:56 1406016
coqide_8.6-4_i386.deb 30-Dec-2016 09:57 1313916
libcoq-ocaml-dev_8.5-2_amd64.deb 29-Jan-2016 00:58 13124196
libcoq-ocaml-dev_8.5-2_i386.deb 29-Jan-2016 02:34 13388818
libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 08:56 13289600
libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 09:57 13323506
libcoq-ocaml_8.5-2_amd64.deb 29-Jan-2016 00:58 3433518
libcoq-ocaml_8.5-2_i386.deb 29-Jan-2016 02:34 3335734
libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 08:56 3502166
libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 09:57 3401658