|
Go up
|
— |
— |
|
|
coq-theories_8.4pl3dfsg-1_all.deb
|
31,970,270 |
|
|
|
coq-theories_8.4pl4dfsg-3build2_all.deb
|
32,236,078 |
|
|
|
coq-theories_8.6-5build1_amd64.deb
|
33,181,580 |
|
|
|
coq-theories_8.6-5build1_i386.deb
|
32,170,552 |
|
|
|
coq-theories_8.11.0-1_amd64.deb
|
33,079,952 |
|
|
|
coqide_8.4pl3dfsg-1_amd64.deb
|
744,612 |
|
|
|
coqide_8.4pl3dfsg-1_i386.deb
|
677,516 |
|
|
|
coqide_8.4pl4dfsg-3build2_amd64.deb
|
748,916 |
|
|
|
coqide_8.4pl4dfsg-3build2_i386.deb
|
711,626 |
|
|
|
coqide_8.6-5build1_amd64.deb
|
1,544,828 |
|
|
|
coqide_8.6-5build1_i386.deb
|
1,388,920 |
|
|
|
coqide_8.11.0-1_amd64.deb
|
1,758,824 |
|
|
|
coqide_8.15.0+dfsg-2_amd64.deb
|
2,387,786 |
|
|
|
coqide_8.18.0+dfsg-1build2_amd64.deb
|
2,349,532 |
|
|
|
coqide_8.20.1+dfsg-1build1_amd64.deb
|
2,198,142 |
|
|
|
coqide_8.20.1+dfsg-1build1_arm64.deb
|
2,640,956 |
|
|
|
coqide_8.20.1+dfsg-1build4_amd64.deb
|
2,212,144 |
|
|
|
coqide_8.20.1+dfsg-1build4_amd64v3.deb
|
2,211,528 |
|
|
|
coqide_8.20.1+dfsg-1build4_arm64.deb
|
2,648,942 |
|
|
|
coqide_8.20.1+dfsg-1build5_amd64.deb
|
2,199,602 |
|
|
|
coqide_8.20.1+dfsg-1build5_amd64v3.deb
|
2,215,480 |
|
|
|
coqide_8.20.1+dfsg-1build5_arm64.deb
|
2,645,954 |
|
|
|
coqide_8.20.1+dfsg-1_amd64.deb
|
2,208,052 |
|
|
|
coq_8.4pl3dfsg-1.debian.tar.xz
|
15,800 |
|
|
|
coq_8.4pl3dfsg-1.dsc
|
2,356 |
|
|
|
coq_8.4pl3dfsg-1_amd64.deb
|
4,040,156 |
|
|
|
coq_8.4pl3dfsg-1_i386.deb
|
3,746,098 |
|
|
|
coq_8.4pl3dfsg.orig.tar.gz
|
3,521,338 |
|
|
|
coq_8.4pl4dfsg-3build2.debian.tar.xz
|
16,144 |
|
|
|
coq_8.4pl4dfsg-3build2.dsc
|
2,398 |
|
|
|
coq_8.4pl4dfsg-3build2_amd64.deb
|
3,993,698 |
|
|
|
coq_8.4pl4dfsg-3build2_i386.deb
|
3,746,046 |
|
|
|
coq_8.4pl4dfsg.orig.tar.gz
|
3,527,076 |
|
|
|
coq_8.6-5build1.debian.tar.xz
|
21,864 |
|
|
|
coq_8.6-5build1.dsc
|
2,403 |
|
|
|
coq_8.6-5build1_amd64.deb
|
17,673,808 |
|
|
|
coq_8.6-5build1_i386.deb
|
16,948,548 |
|
|
|
coq_8.6.orig.tar.gz
|
5,008,604 |
|
|
|
coq_8.11.0-1.debian.tar.xz
|
31,672 |
|
|
|
coq_8.11.0-1.dsc
|
2,496 |
|
|
|
coq_8.11.0-1_amd64.deb
|
76,583,920 |
|
|
|
coq_8.11.0.orig.tar.gz
|
5,825,620 |
|
|
|
coq_8.15.0+dfsg-2.debian.tar.xz
|
39,672 |
|
|
|
coq_8.15.0+dfsg-2.dsc
|
2,599 |
|
|
|
coq_8.15.0+dfsg-2_amd64.deb
|
95,393,552 |
|
|
|
coq_8.15.0+dfsg.orig.tar.xz
|
4,669,948 |
|
|
|
coq_8.18.0+dfsg-1build2.debian.tar.xz
|
33,336 |
|
|
|
coq_8.18.0+dfsg-1build2.dsc
|
2,685 |
|
|
|
coq_8.18.0+dfsg-1build2_amd64.deb
|
95,929,242 |
|
|
|
coq_8.18.0+dfsg.orig.tar.xz
|
4,868,368 |
|
|
|
coq_8.20.1+dfsg-1.debian.tar.xz
|
30,208 |
|
|
|
coq_8.20.1+dfsg-1.dsc
|
2,582 |
|
|
|
coq_8.20.1+dfsg-1build1.debian.tar.xz
|
30,272 |
|
|
|
coq_8.20.1+dfsg-1build1.dsc
|
2,569 |
|
|
|
coq_8.20.1+dfsg-1build1_amd64.deb
|
81,628,676 |
|
|
|
coq_8.20.1+dfsg-1build1_arm64.deb
|
86,943,962 |
|
|
|
coq_8.20.1+dfsg-1build4.debian.tar.xz
|
30,344 |
|
|
|
coq_8.20.1+dfsg-1build4.dsc
|
2,569 |
|
|
|
coq_8.20.1+dfsg-1build4_amd64.deb
|
82,457,158 |
|
|
|
coq_8.20.1+dfsg-1build4_amd64v3.deb
|
82,443,876 |
|
|
|
coq_8.20.1+dfsg-1build4_arm64.deb
|
87,743,186 |
|
|
|
coq_8.20.1+dfsg-1_amd64.deb
|
81,958,834 |
|
|
|
coq_8.20.1+dfsg.orig.tar.xz
|
5,014,988 |
|
|
|
coq_9.2.0+dfsg-4build1.debian.tar.xz
|
28,356 |
|
|
|
coq_9.2.0+dfsg-4build1.dsc
|
2,462 |
|
|
|
coq_9.2.0+dfsg-4build1_amd64.deb
|
47,508,878 |
|
|
|
coq_9.2.0+dfsg-4build1_amd64v3.deb
|
47,533,210 |
|
|
|
coq_9.2.0+dfsg-4build1_arm64.deb
|
51,984,372 |
|
|
|
coq_9.2.0+dfsg.orig.tar.xz
|
3,946,088 |
|
|
|
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
|
45,035,496 |
|
|
|
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb
|
51,407,928 |
|
|
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb
|
69,593,592 |
|
|
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_arm64.deb
|
69,614,450 |
|
|
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb
|
59,800,134 |
|
|
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64v3.deb
|
59,801,482 |
|
|
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_arm64.deb
|
60,498,278 |
|
|
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb
|
69,701,632 |
|
|
|
libcoq-core-ocaml-dev_9.2.0+dfsg-4build1_amd64.deb
|
64,018,698 |
|
|
|
libcoq-core-ocaml-dev_9.2.0+dfsg-4build1_amd64v3.deb
|
64,020,014 |
|
|
|
libcoq-core-ocaml-dev_9.2.0+dfsg-4build1_arm64.deb
|
64,791,574 |
|
|
|
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
|
27,070,410 |
|
|
|
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb
|
27,687,350 |
|
|
|
libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb
|
26,779,406 |
|
|
|
libcoq-core-ocaml_8.20.1+dfsg-1build1_arm64.deb
|
27,960,318 |
|
|
|
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb
|
28,275,532 |
|
|
|
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64v3.deb
|
28,278,462 |
|
|
|
libcoq-core-ocaml_8.20.1+dfsg-1build4_arm64.deb
|
29,444,530 |
|
|
|
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb
|
26,816,654 |
|
|
|
libcoq-core-ocaml_9.2.0+dfsg-4build1_amd64.deb
|
30,132,096 |
|
|
|
libcoq-core-ocaml_9.2.0+dfsg-4build1_amd64v3.deb
|
30,132,298 |
|
|
|
libcoq-core-ocaml_9.2.0+dfsg-4build1_arm64.deb
|
31,367,306 |
|
|
|
libcoq-core_9.2.0+dfsg-4build1_amd64.deb
|
1,324,394 |
|
|
|
libcoq-core_9.2.0+dfsg-4build1_amd64v3.deb
|
1,324,290 |
|
|
|
libcoq-core_9.2.0+dfsg-4build1_arm64.deb
|
1,324,440 |
|
|
|
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
|
3,664,528 |
|
|
|
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb
|
3,649,360 |
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb
|
3,670,362 |
|
|
|
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb
|
3,734,144 |
|
|
|
libcoq-ocaml-dev_8.6-5build1_amd64.deb
|
13,815,188 |
|
|
|
libcoq-ocaml-dev_8.6-5build1_i386.deb
|
13,796,020 |
|
|
|
libcoq-ocaml-dev_8.11.0-1_amd64.deb
|
16,068,892 |
|
|
|
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
|
1,585,458 |
|
|
|
libcoq-ocaml_8.4pl3dfsg-1_i386.deb
|
1,434,144 |
|
|
|
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb
|
1,503,766 |
|
|
|
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb
|
1,392,144 |
|
|
|
libcoq-ocaml_8.6-5build1_amd64.deb
|
3,564,612 |
|
|
|
libcoq-ocaml_8.6-5build1_i386.deb
|
3,394,144 |
|
|
|
libcoq-ocaml_8.11.0-1_amd64.deb
|
6,324,304 |
|
|
|
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
|
24,695,142 |
|
|
|
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb
|
26,511,990 |
|
|
|
libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb
|
26,921,084 |
|
|
|
libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb
|
26,921,824 |
|
|
|
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb
|
26,919,630 |
|
|
|
libcoq-stdlib_8.20.1+dfsg-1build4_amd64v3.deb
|
26,920,442 |
|
|
|
libcoq-stdlib_8.20.1+dfsg-1build4_arm64.deb
|
26,919,580 |
|
|
|
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb
|
26,972,438 |
|
|
|
rocqide_9.2.0+dfsg-4build1_amd64.deb
|
2,220,396 |
|
|
|
rocqide_9.2.0+dfsg-4build1_amd64v3.deb
|
2,215,456 |
|
|
|
rocqide_9.2.0+dfsg-4build1_arm64.deb
|
2,662,208 |
|
|
