|
../ |
— |
— |
|
libcoq-mathcomp_1.14.0-7_all.deb |
2.5 MB |
Feb 17, 2022 |
|
libcoq-mathcomp_2.1.0-1build4_amd64.deb |
2.4 MB |
Apr 8, 2024 |
|
libcoq-mathcomp_2.3.0-1build12_amd64.deb |
2.5 MB |
Sep 1, 2025 |
|
libcoq-mathcomp_2.3.0-1build19_amd64.deb |
2.5 MB |
Mar 5, 2026 |
|
libcoq-mathcomp_2.3.0-1build19_amd64v3.deb |
2.5 MB |
Mar 5, 2026 |
|
libcoq-mathcomp_2.3.0-1build8_amd64.deb |
2.5 MB |
Feb 19, 2025 |
|
libcoq-mathcomp-algebra_1.14.0-7_all.deb |
7 MB |
Feb 17, 2022 |
|
libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb |
9.8 MB |
Apr 8, 2024 |
|
libcoq-mathcomp-algebra_2.3.0-1build12_amd64.deb |
13.2 MB |
Sep 1, 2025 |
|
libcoq-mathcomp-algebra_2.3.0-1build19_amd64.deb |
13.2 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-algebra_2.3.0-1build19_amd64v3.deb |
13.2 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-algebra_2.3.0-1build8_amd64.deb |
13.2 MB |
Feb 19, 2025 |
|
libcoq-mathcomp-character_1.14.0-7_all.deb |
4.4 MB |
Feb 17, 2022 |
|
libcoq-mathcomp-character_2.1.0-1build4_amd64.deb |
4.2 MB |
Apr 8, 2024 |
|
libcoq-mathcomp-character_2.3.0-1build12_amd64.deb |
4.6 MB |
Sep 1, 2025 |
|
libcoq-mathcomp-character_2.3.0-1build19_amd64.deb |
4.6 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-character_2.3.0-1build19_amd64v3.deb |
4.6 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-character_2.3.0-1build8_amd64.deb |
4.6 MB |
Feb 19, 2025 |
|
libcoq-mathcomp-field_1.14.0-7_all.deb |
3 MB |
Feb 17, 2022 |
|
libcoq-mathcomp-field_2.1.0-1build4_amd64.deb |
3.2 MB |
Apr 8, 2024 |
|
libcoq-mathcomp-field_2.3.0-1build12_amd64.deb |
3.6 MB |
Sep 1, 2025 |
|
libcoq-mathcomp-field_2.3.0-1build19_amd64.deb |
3.6 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-field_2.3.0-1build19_amd64v3.deb |
3.6 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-field_2.3.0-1build8_amd64.deb |
3.6 MB |
Feb 19, 2025 |
|
libcoq-mathcomp-fingroup_1.14.0-7_all.deb |
2 MB |
Feb 17, 2022 |
|
libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb |
2.1 MB |
Apr 8, 2024 |
|
libcoq-mathcomp-fingroup_2.3.0-1build12_amd64.deb |
2.4 MB |
Sep 1, 2025 |
|
libcoq-mathcomp-fingroup_2.3.0-1build19_amd64.deb |
2.4 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-fingroup_2.3.0-1build19_amd64v3.deb |
2.4 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-fingroup_2.3.0-1build8_amd64.deb |
2.4 MB |
Feb 19, 2025 |
|
libcoq-mathcomp-solvable_1.14.0-7_all.deb |
5 MB |
Feb 17, 2022 |
|
libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb |
5 MB |
Apr 8, 2024 |
|
libcoq-mathcomp-solvable_2.3.0-1build12_amd64.deb |
5.2 MB |
Sep 1, 2025 |
|
libcoq-mathcomp-solvable_2.3.0-1build19_amd64.deb |
5.2 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-solvable_2.3.0-1build19_amd64v3.deb |
5.2 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-solvable_2.3.0-1build8_amd64.deb |
5.2 MB |
Feb 19, 2025 |
|
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb |
4.5 MB |
Feb 17, 2022 |
|
libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb |
6.3 MB |
Apr 8, 2024 |
|
libcoq-mathcomp-ssreflect_2.3.0-1build12_amd64.deb |
9.1 MB |
Sep 1, 2025 |
|
libcoq-mathcomp-ssreflect_2.3.0-1build19_amd64.deb |
9.1 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-ssreflect_2.3.0-1build19_amd64v3.deb |
9.1 MB |
Mar 5, 2026 |
|
libcoq-mathcomp-ssreflect_2.3.0-1build8_amd64.deb |
9.1 MB |
Feb 19, 2025 |
|
libssreflect-coq_1.10.0+dfsg-2_all.deb |
24.7 MB |
Mar 19, 2020 |
|
libssreflect-coq_1.5-3build1_all.deb |
1.1 MB |
Nov 4, 2015 |
|
libssreflect-coq_1.5~rc1-3_all.deb |
1.1 MB |
Jan 21, 2014 |
|
libssreflect-coq_1.6.1-3build1_all.deb |
23.1 MB |
Oct 28, 2017 |
|
libssreflect-ocaml_1.5-3build1_amd64.deb |
435.4 KB |
Nov 4, 2015 |
|
libssreflect-ocaml_1.5-3build1_i386.deb |
384.5 KB |
Nov 4, 2015 |
|
libssreflect-ocaml_1.5~rc1-3_amd64.deb |
439.9 KB |
Jan 21, 2014 |
|
libssreflect-ocaml_1.5~rc1-3_i386.deb |
381.7 KB |
Jan 21, 2014 |
|
libssreflect-ocaml_1.6.1-3build1_amd64.deb |
389.6 KB |
Oct 28, 2017 |
|
libssreflect-ocaml_1.6.1-3build1_i386.deb |
340.4 KB |
Oct 28, 2017 |
|
libssreflect-ocaml-dev_1.5-3build1_amd64.deb |
62.6 KB |
Nov 4, 2015 |
|
libssreflect-ocaml-dev_1.5-3build1_i386.deb |
62.6 KB |
Nov 4, 2015 |
|
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb |
60.2 KB |
Jan 21, 2014 |
|
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb |
60.2 KB |
Jan 21, 2014 |
|
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb |
58.9 KB |
Oct 28, 2017 |
|
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb |
58.9 KB |
Oct 28, 2017 |
|
ssreflect_1.10.0+dfsg-2.debian.tar.xz |
12.4 KB |
Mar 19, 2020 |
|
ssreflect_1.10.0+dfsg-2.dsc |
2.1 KB |
Mar 19, 2020 |
|
ssreflect_1.10.0+dfsg.orig.tar.gz |
1.2 MB |
Dec 6, 2019 |
|
ssreflect_1.14.0-7.debian.tar.xz |
12.1 KB |
Feb 17, 2022 |
|
ssreflect_1.14.0-7.dsc |
2.5 KB |
Feb 17, 2022 |
|
ssreflect_1.14.0.orig.tar.gz |
1.3 MB |
Jan 24, 2022 |
|
ssreflect_1.5-3build1.debian.tar.xz |
11.3 KB |
Nov 4, 2015 |
|
ssreflect_1.5-3build1.dsc |
1.9 KB |
Nov 4, 2015 |
|
ssreflect_1.5.orig.tar.gz |
212.7 KB |
Apr 26, 2014 |
|
ssreflect_1.5~rc1-3.debian.tar.xz |
11.2 KB |
Jan 21, 2014 |
|
ssreflect_1.5~rc1-3.dsc |
2.2 KB |
Jan 21, 2014 |
|
ssreflect_1.5~rc1.orig.tar.gz |
199.2 KB |
Dec 6, 2013 |
|
ssreflect_1.6.1-3build1.debian.tar.xz |
12.3 KB |
Oct 28, 2017 |
|
ssreflect_1.6.1-3build1.dsc |
2.2 KB |
Oct 28, 2017 |
|
ssreflect_1.6.1.orig.tar.gz |
4.5 MB |
Dec 30, 2016 |
|
ssreflect_2.1.0-1build4.debian.tar.xz |
12.5 KB |
Apr 1, 2024 |
|
ssreflect_2.1.0-1build4.dsc |
2.6 KB |
Apr 1, 2024 |
|
ssreflect_2.1.0.orig.tar.gz |
1.8 MB |
Dec 24, 2023 |
|
ssreflect_2.3.0-1build12.debian.tar.xz |
12.7 KB |
Sep 1, 2025 |
|
ssreflect_2.3.0-1build12.dsc |
2.6 KB |
Sep 1, 2025 |
|
ssreflect_2.3.0-1build19.debian.tar.xz |
12.8 KB |
Mar 5, 2026 |
|
ssreflect_2.3.0-1build19.dsc |
2.6 KB |
Mar 5, 2026 |
|
ssreflect_2.3.0-1build8.debian.tar.xz |
12.6 KB |
Feb 19, 2025 |
|
ssreflect_2.3.0-1build8.dsc |
2.7 KB |
Feb 19, 2025 |
|
ssreflect_2.3.0.orig.tar.gz |
1.8 MB |
Dec 18, 2024 |