Index of /ubuntu/pool/universe/c/coq/

Name Last Modified Size Type
Parent Directory  Directory
coq-theories_8.5-2build1_amd64.deb2016-Jun-11 12:14:2231.3M application/octet-stream
coq-theories_8.5-2build1_i386.deb2016-Jun-11 12:15:0430.3M application/octet-stream
coq-theories_8.6-4_amd64.deb2016-Dec-30 01:03:3029.7M application/octet-stream
coq-theories_8.6-4_i386.deb2016-Dec-30 01:03:3528.7M application/octet-stream
coq_8.5-2build1.debian.tar.xz2016-Jun-11 11:14:0216.4K application/octet-stream
coq_8.5-2build1.dsc2016-Jun-11 11:13:592.4K application/octet-stream
coq_8.5-2build1_amd64.deb2016-Jun-11 12:14:2212.9M application/octet-stream
coq_8.5-2build1_i386.deb2016-Jun-11 12:15:0412M application/octet-stream
coq_8.5.orig.tar.gz2016-Jan-26 18:09:334.6M application/x-gzip
coq_8.6-4.debian.tar.xz2016-Dec-30 00:19:5221.5K application/octet-stream
coq_8.6-4.dsc2016-Dec-30 00:19:492.3K application/octet-stream
coq_8.6-4_amd64.deb2016-Dec-30 01:03:2813.2M application/octet-stream
coq_8.6-4_i386.deb2016-Dec-30 01:03:3612.3M application/octet-stream
coq_8.6.orig.tar.gz2016-Dec-28 12:13:414.8M application/x-gzip
coqide_8.5-2build1_amd64.deb2016-Jun-11 12:14:201.2M application/octet-stream
coqide_8.5-2build1_i386.deb2016-Jun-11 12:15:061002.9K application/octet-stream
coqide_8.6-4_amd64.deb2016-Dec-30 01:03:281.3M application/octet-stream
coqide_8.6-4_i386.deb2016-Dec-30 01:03:381.1M application/octet-stream
libcoq-ocaml-dev_8.5-2build1_amd64.deb2016-Jun-11 12:14:2112.7M application/octet-stream
libcoq-ocaml-dev_8.5-2build1_i386.deb2016-Jun-11 12:15:0312.7M application/octet-stream
libcoq-ocaml-dev_8.6-4_amd64.deb2016-Dec-30 01:03:2812.5M application/octet-stream
libcoq-ocaml-dev_8.6-4_i386.deb2016-Dec-30 01:03:3412.6M application/octet-stream
libcoq-ocaml_8.5-2build1_amd64.deb2016-Jun-11 12:14:233.2M application/octet-stream
libcoq-ocaml_8.5-2build1_i386.deb2016-Jun-11 12:15:063.1M application/octet-stream
libcoq-ocaml_8.6-4_amd64.deb2016-Dec-30 01:03:293.3M application/octet-stream
libcoq-ocaml_8.6-4_i386.deb2016-Dec-30 01:03:363.2M application/octet-stream