| 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_20260603-2.debian.tar.xz | 28-Jul-2026 10:35 | 2.4 KiB | ||
| coq-unimath_20260603-2.dsc | 28-Jul-2026 10:35 | 2.1 KiB | ||
| coq-unimath_20260603.orig.tar.gz | 10-Jul-2026 16:59 | 4.0 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+b7_amd64.deb | 20-Jun-2026 15:46 | 50 MiB | ||
| libcoq-unimath_20260603-2+b1_amd64.deb | 28-Jul-2026 12:11 | 56 MiB | ||
| libcoq-unimath_20260603-2_i386.deb | 28-Jul-2026 23:56 | 56 MiB | ||