| Name ↑ | Last modified | Size | ||
|---|---|---|---|---|
| Parent Directory | - | - | ||
| coq-unimath_20220816-2.debian.tar.xz | 25-Jan-2023 11:55 | 1.7 KiB | ||
| coq-unimath_20220816-2.dsc | 25-Jan-2023 11:55 | 2.0 KiB | ||
| coq-unimath_20220816.orig.tar.gz | 22-Aug-2022 12:11 | 1.9 MiB | ||
| coq-unimath_20240923-2.debian.tar.xz | 25-Nov-2024 13:32 | 2.2 KiB | ||
| coq-unimath_20240923-2.dsc | 25-Nov-2024 13:32 | 2.1 KiB | ||
| coq-unimath_20240923.orig.tar.gz | 20-Nov-2024 10:02 | 3.4 MiB | ||
| coq-unimath_20250923-2.debian.tar.xz | 11-Nov-2025 18:20 | 2.3 KiB | ||
| coq-unimath_20250923-2.dsc | 11-Nov-2025 18:20 | 2.1 KiB | ||
| coq-unimath_20250923.orig.tar.gz | 29-Oct-2025 09:24 | 3.8 MiB | ||
| libcoq-unimath_20220816-2+b1_amd64.deb | 13-Feb-2023 08:59 | 39 MiB | ||
| libcoq-unimath_20220816-2+b1_i386.deb | 13-Feb-2023 08:59 | 39 MiB | ||
| libcoq-unimath_20240923-2+b4_amd64.deb | 15-Jun-2025 11:45 | 50 MiB | ||
| libcoq-unimath_20240923-2+b6_amd64.deb | 12-Feb-2026 16:00 | 50 MiB | ||
| libcoq-unimath_20250923-2+b1_amd64.deb | 11-Feb-2026 10:46 | 54 MiB | ||