/ubuntu/pool/universe/c/coq/

0 directories 85 files 1.4 GiB total
List Grid
Name
Size Modified
Up
coq-theories_8.11.0-1_amd64.deb
32 MiB
coq-theories_8.4pl3dfsg-1_all.deb
30 MiB
coq-theories_8.4pl4dfsg-3build2_all.deb
31 MiB
coq-theories_8.6-5build1_amd64.deb
32 MiB
coq-theories_8.6-5build1_i386.deb
31 MiB
coq_8.11.0-1.debian.tar.xz
31 KiB
coq_8.11.0-1.dsc
2.4 KiB
coq_8.11.0-1_amd64.deb
73 MiB
coq_8.11.0.orig.tar.gz
5.6 MiB
coq_8.15.0+dfsg-2.debian.tar.xz
39 KiB
coq_8.15.0+dfsg-2.dsc
2.5 KiB
coq_8.15.0+dfsg-2_amd64.deb
91 MiB
coq_8.15.0+dfsg.orig.tar.xz
4.5 MiB
coq_8.16.1+dfsg-1build2.debian.tar.xz
32 KiB
coq_8.16.1+dfsg-1build2.dsc
2.6 KiB
coq_8.16.1+dfsg-1build2_amd64.deb
104 MiB
coq_8.16.1+dfsg.orig.tar.xz
4.5 MiB
coq_8.18.0+dfsg-1build2.debian.tar.xz
33 KiB
coq_8.18.0+dfsg-1build2.dsc
2.6 KiB
coq_8.18.0+dfsg-1build2_amd64.deb
92 MiB
coq_8.18.0+dfsg.orig.tar.xz
4.6 MiB
coq_8.19.1+dfsg-3build3.debian.tar.xz
32 KiB
coq_8.19.1+dfsg-3build3.dsc
2.5 KiB
coq_8.19.1+dfsg-3build3_amd64.deb
96 MiB
coq_8.19.1+dfsg.orig.tar.bz2
5.3 MiB
coq_8.20.0+dfsg-1.debian.tar.xz
30 KiB
coq_8.20.0+dfsg-1.dsc
2.5 KiB
coq_8.20.0+dfsg-1_amd64.deb
86 MiB
coq_8.20.0+dfsg.orig.tar.xz
4.8 MiB
coq_8.4pl3dfsg-1.debian.tar.xz
15 KiB
coq_8.4pl3dfsg-1.dsc
2.3 KiB
coq_8.4pl3dfsg-1_amd64.deb
3.9 MiB
coq_8.4pl3dfsg-1_i386.deb
3.6 MiB
coq_8.4pl3dfsg.orig.tar.gz
3.4 MiB
coq_8.4pl4dfsg-3build2.debian.tar.xz
16 KiB
coq_8.4pl4dfsg-3build2.dsc
2.3 KiB
coq_8.4pl4dfsg-3build2_amd64.deb
3.8 MiB
coq_8.4pl4dfsg-3build2_i386.deb
3.6 MiB
coq_8.4pl4dfsg.orig.tar.gz
3.4 MiB
coq_8.6-5build1.debian.tar.xz
21 KiB
coq_8.6-5build1.dsc
2.3 KiB
coq_8.6-5build1_amd64.deb
17 MiB
coq_8.6-5build1_i386.deb
16 MiB
coq_8.6.orig.tar.gz
4.8 MiB
coqide_8.11.0-1_amd64.deb
1.7 MiB
coqide_8.15.0+dfsg-2_amd64.deb
2.3 MiB
coqide_8.16.1+dfsg-1build2_amd64.deb
2.2 MiB
coqide_8.18.0+dfsg-1build2_amd64.deb
2.2 MiB
coqide_8.19.1+dfsg-3build3_amd64.deb
2.3 MiB
coqide_8.20.0+dfsg-1_amd64.deb
2.1 MiB
coqide_8.4pl3dfsg-1_amd64.deb
727 KiB
coqide_8.4pl3dfsg-1_i386.deb
662 KiB
coqide_8.4pl4dfsg-3build2_amd64.deb
731 KiB
coqide_8.4pl4dfsg-3build2_i386.deb
695 KiB
coqide_8.6-5build1_amd64.deb
1.5 MiB
coqide_8.6-5build1_i386.deb
1.3 MiB
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
43 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb
47 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb
49 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb
65 MiB
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb
67 MiB
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
26 MiB
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb
26 MiB
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb
26 MiB
libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb
25 MiB
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb
26 MiB
libcoq-ocaml-dev_8.11.0-1_amd64.deb
15 MiB
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
3.5 MiB
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb
3.5 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb
3.5 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb
3.6 MiB
libcoq-ocaml-dev_8.6-5build1_amd64.deb
13 MiB
libcoq-ocaml-dev_8.6-5build1_i386.deb
13 MiB
libcoq-ocaml_8.11.0-1_amd64.deb
6.0 MiB
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
1.5 MiB
libcoq-ocaml_8.4pl3dfsg-1_i386.deb
1.4 MiB
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb
1.4 MiB
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb
1.3 MiB
libcoq-ocaml_8.6-5build1_amd64.deb
3.4 MiB
libcoq-ocaml_8.6-5build1_i386.deb
3.2 MiB
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
24 MiB
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb
23 MiB
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb
25 MiB
libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb
26 MiB
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb
26 MiB