| Name | Modified | Size |
|---|---|---|
| .. | ||
| coqeal_2.1.0-1.debian.tar.xz | 2025-03-18 12:33:54 | 2.35 KiB |
| coqeal_2.1.0-1.dsc | 2025-03-18 12:33:54 | 2.13 KiB |
| coqeal_2.1.0.orig.tar.gz | 2025-03-18 12:33:54 | 221.40 KiB |
| libcoq-coqeal_2.1.0-1+b7_amd64.deb | 2025-10-28 22:12:13 | 5.32 MiB |
| libcoq-coqeal_2.1.0-1+b7_arm64.deb | 2025-10-28 22:17:14 | 5.32 MiB |