| Parent Directory/ | | - | Directory |
| coq-unimath_20231010-1build3.debian.tar.xz | 2024-Apr-08 09:57:40 | 2.2K | application/octet-stream |
| coq-unimath_20231010-1build3.dsc | 2024-Apr-08 09:57:40 | 2.1K | application/octet-stream |
| coq-unimath_20231010.orig.tar.gz | 2023-Dec-23 00:27:09 | 2.7M | application/x-gzip |
| coq-unimath_20240923-2build3.debian.tar.xz | 2025-Feb-18 22:25:07 | 2.4K | application/octet-stream |
| coq-unimath_20240923-2build3.dsc | 2025-Feb-18 22:25:07 | 2.0K | application/octet-stream |
| coq-unimath_20240923-2build4.debian.tar.xz | 2025-Jun-20 15:22:26 | 2.4K | application/octet-stream |
| coq-unimath_20240923-2build4.dsc | 2025-Jun-20 15:22:26 | 2.0K | application/octet-stream |
| coq-unimath_20240923-2build7.debian.tar.xz | 2026-Mar-03 22:25:18 | 2.5K | application/octet-stream |
| coq-unimath_20240923-2build7.dsc | 2026-Mar-03 22:25:18 | 2.0K | application/octet-stream |
| coq-unimath_20240923.orig.tar.gz | 2024-Nov-20 19:47:26 | 3.4M | application/x-gzip |
| libcoq-unimath_20231010-1build3_amd64.deb | 2024-Apr-08 15:14:24 | 46.5M | application/octet-stream |
| libcoq-unimath_20240923-2build3_amd64.deb | 2025-Feb-19 01:22:19 | 56.6M | application/octet-stream |
| libcoq-unimath_20240923-2build4_amd64.deb | 2025-Jun-20 17:15:16 | 56.4M | application/octet-stream |
| libcoq-unimath_20240923-2build4_arm64.deb | 2025-Jun-20 15:24:40 | 56.4M | application/octet-stream |
| libcoq-unimath_20240923-2build7_amd64.deb | 2026-Mar-03 22:26:20 | 56.4M | application/octet-stream |
| libcoq-unimath_20240923-2build7_amd64v3.deb | 2026-Mar-03 22:26:48 | 56.4M | application/octet-stream |
| libcoq-unimath_20240923-2build7_arm64.deb | 2026-Mar-03 22:27:10 | 56.4M | application/octet-stream |