| name | size | date |
|---|---|---|
| libcoq-math-classes_8.19.0-1build17_amd64.deb | 3.08M | 2026-03-04 17:34:40 |
| libcoq-math-classes_8.19.0-1build14_amd64.deb | 3.08M | 2025-06-20 17:40:39 |
| libcoq-math-classes_8.19.0-1build13_amd64.deb | 3.10M | 2025-02-19 07:53:16 |
| libcoq-math-classes_8.18.0-1build3_amd64.deb | 3.19M | 2024-04-08 10:59:15 |