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-theories_8.11.0-1_amd64.deb
|
|
32 MiB |
coq_8.4pl3dfsg-1.debian.tar.xz
|
|
15 KiB |
coq_8.4pl3dfsg-1.dsc
|
|
2356 B |
coq_8.4pl3dfsg-1_amd64.deb
|
|
3945 KiB |
coq_8.4pl3dfsg-1_i386.deb
|
|
3658 KiB |
coq_8.4pl3dfsg.orig.tar.gz
|
|
3439 KiB |
coq_8.4pl4dfsg-3build2.debian.tar.xz
|
|
16 KiB |
coq_8.4pl4dfsg-3build2.dsc
|
|
2398 B |
coq_8.4pl4dfsg-3build2_amd64.deb
|
|
3900 KiB |
coq_8.4pl4dfsg-3build2_i386.deb
|
|
3658 KiB |
coq_8.4pl4dfsg.orig.tar.gz
|
|
3444 KiB |
coq_8.6-5build1.debian.tar.xz
|
|
21 KiB |
coq_8.6-5build1.dsc
|
|
2403 B |
coq_8.6-5build1_amd64.deb
|
|
17 MiB |
coq_8.6-5build1_i386.deb
|
|
16 MiB |
coq_8.6.orig.tar.gz
|
|
4891 KiB |
coq_8.11.0-1.debian.tar.xz
|
|
31 KiB |
coq_8.11.0-1.dsc
|
|
2496 B |
coq_8.11.0-1_amd64.deb
|
|
73 MiB |
coq_8.11.0.orig.tar.gz
|
|
5689 KiB |
coq_8.15.0+dfsg-2.debian.tar.xz
|
|
39 KiB |
coq_8.15.0+dfsg-2.dsc
|
|
2599 B |
coq_8.15.0+dfsg-2_amd64.deb
|
|
91 MiB |
coq_8.15.0+dfsg.orig.tar.xz
|
|
4560 KiB |
coq_8.16.1+dfsg-1build2.debian.tar.xz
|
|
33 KiB |
coq_8.16.1+dfsg-1build2.dsc
|
|
2628 B |
coq_8.16.1+dfsg-1build2_amd64.deb
|
|
104 MiB |
coq_8.16.1+dfsg.orig.tar.xz
|
|
4607 KiB |
coq_8.17.0+dfsg-1build1.debian.tar.xz
|
|
32 KiB |
coq_8.17.0+dfsg-1build1.dsc
|
|
2628 B |
coq_8.17.0+dfsg-1build1_amd64.deb
|
|
89 MiB |
coq_8.17.0+dfsg.orig.tar.xz
|
|
4661 KiB |
coq_8.18.0+dfsg-1build2.debian.tar.xz
|
|
33 KiB |
coq_8.18.0+dfsg-1build2.dsc
|
|
2685 B |
coq_8.18.0+dfsg-1build2_amd64.deb
|
|
91 MiB |
coq_8.18.0+dfsg.orig.tar.xz
|
|
4754 KiB |
coq_8.19.1+dfsg-3.debian.tar.xz
|
|
32 KiB |
coq_8.19.1+dfsg-3.dsc
|
|
2341 B |
coq_8.19.1+dfsg-3_amd64.deb
|
|
91 MiB |
coq_8.19.1+dfsg-3build1.debian.tar.xz
|
|
32 KiB |
coq_8.19.1+dfsg-3build1.dsc
|
|
2572 B |
coq_8.19.1+dfsg-3build1_amd64.deb
|
|
96 MiB |
coq_8.19.1+dfsg.orig.tar.bz2
|
|
5458 KiB |
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
|
|
1509 KiB |
coqide_8.6-5build1_i386.deb
|
|
1356 KiB |
coqide_8.11.0-1_amd64.deb
|
|
1718 KiB |
coqide_8.15.0+dfsg-2_amd64.deb
|
|
2332 KiB |
coqide_8.16.1+dfsg-1build2_amd64.deb
|
|
2282 KiB |
coqide_8.17.0+dfsg-1build1_amd64.deb
|
|
2277 KiB |
coqide_8.18.0+dfsg-1build2_amd64.deb
|
|
2294 KiB |
coqide_8.19.1+dfsg-3_amd64.deb
|
|
2234 KiB |
coqide_8.19.1+dfsg-3build1_amd64.deb
|
|
2384 KiB |
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.17.0+dfsg-1build1_amd64.deb
|
|
48 MiB |
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb
|
|
49 MiB |
libcoq-core-ocaml-dev_8.19.1+dfsg-3_amd64.deb
|
|
50 MiB |
libcoq-core-ocaml-dev_8.19.1+dfsg-3build1_amd64.deb
|
|
65 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.17.0+dfsg-1build1_amd64.deb
|
|
26 MiB |
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb
|
|
26 MiB |
libcoq-core-ocaml_8.19.1+dfsg-3_amd64.deb
|
|
26 MiB |
libcoq-core-ocaml_8.19.1+dfsg-3build1_amd64.deb
|
|
25 MiB |
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
|
|
3579 KiB |
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb
|
|
3564 KiB |
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb
|
|
3584 KiB |
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb
|
|
3647 KiB |
libcoq-ocaml-dev_8.6-5build1_amd64.deb
|
|
13 MiB |
libcoq-ocaml-dev_8.6-5build1_i386.deb
|
|
13 MiB |
libcoq-ocaml-dev_8.11.0-1_amd64.deb
|
|
15 MiB |
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
|
|
1548 KiB |
libcoq-ocaml_8.4pl3dfsg-1_i386.deb
|
|
1401 KiB |
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb
|
|
1469 KiB |
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb
|
|
1360 KiB |
libcoq-ocaml_8.6-5build1_amd64.deb
|
|
3481 KiB |
libcoq-ocaml_8.6-5build1_i386.deb
|
|
3315 KiB |
libcoq-ocaml_8.11.0-1_amd64.deb
|
|
6176 KiB |
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.17.0+dfsg-1build1_amd64.deb
|
|
27 MiB |
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb
|
|
25 MiB |
libcoq-stdlib_8.19.1+dfsg-3_amd64.deb
|
|
26 MiB |
libcoq-stdlib_8.19.1+dfsg-3build1_amd64.deb
|
|
26 MiB |