| ⬆️Parent directory | — | — |
| 📦libcoq-mathcomp-algebra_1.14.0-7_all.deb | 7.02M | Thu Feb 17 2022 |
| 📦libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb | 9.85M | Mon Apr 08 2024 |
| 📦libcoq-mathcomp-algebra_2.3.0-1build12_amd64.deb | 13.2M | Mon Sep 01 2025 |
| 📦libcoq-mathcomp-algebra_2.3.0-1build19_amd64.deb | 13.2M | Thu Mar 05 2026 |
| 📦libcoq-mathcomp-algebra_2.3.0-1build8_amd64.deb | 13.2M | Thu Feb 20 2025 |
| 📦libcoq-mathcomp-algebra_2.6.0-3build2_amd64.deb | 26M | Sat Sep 19 2026 |
| 📦libcoq-mathcomp-boot_2.6.0-3build2_amd64.deb | 6.52M | Sat Sep 19 2026 |
| 📦libcoq-mathcomp-character_1.14.0-7_all.deb | 4.38M | Thu Feb 17 2022 |
| 📦libcoq-mathcomp-character_2.1.0-1build4_amd64.deb | 4.22M | Mon Apr 08 2024 |
| 📦libcoq-mathcomp-character_2.3.0-1build12_amd64.deb | 4.56M | Mon Sep 01 2025 |
| 📦libcoq-mathcomp-character_2.3.0-1build19_amd64.deb | 4.56M | Thu Mar 05 2026 |
| 📦libcoq-mathcomp-character_2.3.0-1build8_amd64.deb | 4.56M | Thu Feb 20 2025 |
| 📦libcoq-mathcomp-field_1.14.0-7_all.deb | 3.04M | Thu Feb 17 2022 |
| 📦libcoq-mathcomp-field_2.1.0-1build4_amd64.deb | 3.24M | Mon Apr 08 2024 |
| 📦libcoq-mathcomp-field_2.3.0-1build12_amd64.deb | 3.64M | Mon Sep 01 2025 |
| 📦libcoq-mathcomp-field_2.3.0-1build19_amd64.deb | 3.64M | Thu Mar 05 2026 |
| 📦libcoq-mathcomp-field_2.3.0-1build8_amd64.deb | 3.65M | Thu Feb 20 2025 |
| 📦libcoq-mathcomp-field_2.6.0-3build2_amd64.deb | 4.93M | Sat Sep 19 2026 |
| 📦libcoq-mathcomp-fingroup_1.14.0-7_all.deb | 2.05M | Thu Feb 17 2022 |
| 📦libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb | 2.13M | Mon Apr 08 2024 |
| 📦libcoq-mathcomp-fingroup_2.3.0-1build12_amd64.deb | 2.43M | Mon Sep 01 2025 |
| 📦libcoq-mathcomp-fingroup_2.3.0-1build19_amd64.deb | 2.43M | Thu Mar 05 2026 |
| 📦libcoq-mathcomp-fingroup_2.3.0-1build8_amd64.deb | 2.43M | Thu Feb 20 2025 |
| 📦libcoq-mathcomp-finite-group_2.6.0-3build2_amd64.deb | 2.61M | Sat Sep 19 2026 |
| 📦libcoq-mathcomp-group-representation_2.6.0-3build2_amd64.deb | 5.04M | Sat Sep 19 2026 |
| 📦libcoq-mathcomp-order_2.6.0-3build2_amd64.deb | 7.66M | Sat Sep 19 2026 |
| 📦libcoq-mathcomp-solvable_1.14.0-7_all.deb | 5.03M | Thu Feb 17 2022 |
| 📦libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb | 5M | Mon Apr 08 2024 |
| 📦libcoq-mathcomp-solvable_2.3.0-1build12_amd64.deb | 5.19M | Mon Sep 01 2025 |
| 📦libcoq-mathcomp-solvable_2.3.0-1build19_amd64.deb | 5.19M | Thu Mar 05 2026 |
| 📦libcoq-mathcomp-solvable_2.3.0-1build8_amd64.deb | 5.19M | Thu Feb 20 2025 |
| 📦libcoq-mathcomp-solvable_2.6.0-3build2_amd64.deb | 5.39M | Sat Sep 19 2026 |
| 📦libcoq-mathcomp-ssreflect_1.14.0-7_all.deb | 4.49M | Thu Feb 17 2022 |
| 📦libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb | 6.32M | Mon Apr 08 2024 |
| 📦libcoq-mathcomp-ssreflect_2.3.0-1build12_amd64.deb | 9.06M | Mon Sep 01 2025 |
| 📦libcoq-mathcomp-ssreflect_2.3.0-1build19_amd64.deb | 9.06M | Thu Mar 05 2026 |
| 📦libcoq-mathcomp-ssreflect_2.3.0-1build8_amd64.deb | 9.07M | Thu Feb 20 2025 |
| 📦libcoq-mathcomp-ssreflect_2.6.0-3build2_amd64.deb | 9.93K | Sat Sep 19 2026 |
| 📦libcoq-mathcomp_1.14.0-7_all.deb | 2.54M | Thu Feb 17 2022 |
| 📦libcoq-mathcomp_2.1.0-1build4_amd64.deb | 2.36M | Mon Apr 08 2024 |
| 📦libcoq-mathcomp_2.3.0-1build12_amd64.deb | 2.5M | Mon Sep 01 2025 |
| 📦libcoq-mathcomp_2.3.0-1build19_amd64.deb | 2.5M | Thu Mar 05 2026 |
| 📦libcoq-mathcomp_2.3.0-1build8_amd64.deb | 2.49M | Thu Feb 20 2025 |
| 📦libcoq-mathcomp_2.6.0-3build2_amd64.deb | 11.6K | Sat Sep 19 2026 |
| 📦libssreflect-coq_1.10.0+dfsg-2_all.deb | 24.8M | Thu Mar 19 2020 |
| 📦libssreflect-coq_1.5-3build1_all.deb | 1.14M | Thu Nov 05 2015 |
| 📦libssreflect-coq_1.5~rc1-3_all.deb | 1.14M | Tue Jan 21 2014 |
| 📦libssreflect-coq_1.6.1-3build1_all.deb | 23.1M | Sun Oct 29 2017 |
| 📦libssreflect-ocaml-dev_1.5-3build1_amd64.deb | 62.6K | Thu Nov 05 2015 |
| 📦libssreflect-ocaml-dev_1.5-3build1_i386.deb | 62.6K | Thu Nov 05 2015 |
| 📦libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb | 60.3K | Tue Jan 21 2014 |
| 📦libssreflect-ocaml-dev_1.5~rc1-3_i386.deb | 60.2K | Tue Jan 21 2014 |
| 📦libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb | 58.9K | Sun Oct 29 2017 |
| 📦libssreflect-ocaml-dev_1.6.1-3build1_i386.deb | 58.9K | Sun Oct 29 2017 |
| 📦libssreflect-ocaml_1.5-3build1_amd64.deb | 436K | Thu Nov 05 2015 |
| 📦libssreflect-ocaml_1.5-3build1_i386.deb | 385K | Thu Nov 05 2015 |
| 📦libssreflect-ocaml_1.5~rc1-3_amd64.deb | 440K | Tue Jan 21 2014 |
| 📦libssreflect-ocaml_1.5~rc1-3_i386.deb | 382K | Tue Jan 21 2014 |
| 📦libssreflect-ocaml_1.6.1-3build1_amd64.deb | 390K | Sun Oct 29 2017 |
| 📦libssreflect-ocaml_1.6.1-3build1_i386.deb | 341K | Sun Oct 29 2017 |
| 📦mathcomp-doc_2.6.0-3build2_all.deb | 6.56M | Sat Sep 19 2026 |
| 📦ssreflect_1.10.0+dfsg-2.debian.tar.xz | 12.4K | Thu Mar 19 2020 |
| 📄ssreflect_1.10.0+dfsg-2.dsc | 2.08K | Thu Mar 19 2020 |
| 📦ssreflect_1.10.0+dfsg.orig.tar.gz | 1.17M | Sat Dec 07 2019 |
| 📦ssreflect_1.14.0-7.debian.tar.xz | 12.1K | Thu Feb 17 2022 |
| 📄ssreflect_1.14.0-7.dsc | 2.52K | Thu Feb 17 2022 |
| 📦ssreflect_1.14.0.orig.tar.gz | 1.3M | Tue Jan 25 2022 |
| 📦ssreflect_1.5-3build1.debian.tar.xz | 11.4K | Thu Nov 05 2015 |
| 📄ssreflect_1.5-3build1.dsc | 1.87K | Thu Nov 05 2015 |
| 📦ssreflect_1.5.orig.tar.gz | 213K | Sat Apr 26 2014 |
| 📦ssreflect_1.5~rc1-3.debian.tar.xz | 11.2K | Tue Jan 21 2014 |
| 📄ssreflect_1.5~rc1-3.dsc | 2.19K | Tue Jan 21 2014 |
| 📦ssreflect_1.5~rc1.orig.tar.gz | 200K | Sat Dec 07 2013 |
| 📦ssreflect_1.6.1-3build1.debian.tar.xz | 12.3K | Sat Oct 28 2017 |
| 📄ssreflect_1.6.1-3build1.dsc | 2.23K | Sat Oct 28 2017 |
| 📦ssreflect_1.6.1.orig.tar.gz | 4.48M | Sat Dec 31 2016 |
| 📦ssreflect_2.1.0-1build4.debian.tar.xz | 12.6K | Mon Apr 01 2024 |
| 📄ssreflect_2.1.0-1build4.dsc | 2.64K | Mon Apr 01 2024 |
| 📦ssreflect_2.1.0.orig.tar.gz | 1.76M | Mon Dec 25 2023 |
| 📦ssreflect_2.3.0-1build12.debian.tar.xz | 12.8K | Mon Sep 01 2025 |
| 📄ssreflect_2.3.0-1build12.dsc | 2.65K | Mon Sep 01 2025 |
| 📦ssreflect_2.3.0-1build19.debian.tar.xz | 12.9K | Thu Mar 05 2026 |
| 📄ssreflect_2.3.0-1build19.dsc | 2.57K | Thu Mar 05 2026 |
| 📦ssreflect_2.3.0-1build8.debian.tar.xz | 12.7K | Thu Feb 20 2025 |
| 📄ssreflect_2.3.0-1build8.dsc | 2.67K | Thu Feb 20 2025 |
| 📦ssreflect_2.3.0.orig.tar.gz | 1.8M | Thu Dec 19 2024 |
| 📦ssreflect_2.6.0-3build2.debian.tar.xz | 13.1K | Sat Sep 19 2026 |
| 📄ssreflect_2.6.0-3build2.dsc | 2.85K | Sat Sep 19 2026 |
| 📦ssreflect_2.6.0.orig.tar.gz | 2.24M | Wed Jul 29 2026 |