directories: 0, files: 12
| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| libcoq-equations_1.3.1-8.20-1build4_amd64.deb | 2025-02-19 08:53:21 | 1.29 MiB |
| libcoq-equations_1.3-8.19-2build3_amd64.deb | 2024-09-07 21:05:04 | 1.30 MiB |
| libcoq-equations_1.3-8.18-1build3_amd64.deb | 2024-04-08 12:59:16 | 1.52 MiB |
| coq-equations_1.3.1-8.20.orig.tar.gz | 2024-11-20 19:47:28 | 1.05 MiB |
| coq-equations_1.3.1-8.20-1build4.dsc | 2025-02-19 08:52:17 | 2.13 KiB |
| coq-equations_1.3.1-8.20-1build4.debian.tar.xz | 2025-02-19 08:52:17 | 2.83 KiB |
| coq-equations_1.3-8.19.orig.tar.gz | 2024-05-02 13:53:16 | 1.05 MiB |
| coq-equations_1.3-8.19-2build3.dsc | 2024-09-07 21:04:33 | 2.11 KiB |
| coq-equations_1.3-8.19-2build3.debian.tar.xz | 2024-09-07 21:04:33 | 2.79 KiB |
| coq-equations_1.3-8.18.orig.tar.gz | 2023-12-23 18:16:59 | 1.05 MiB |
| coq-equations_1.3-8.18-1build3.dsc | 2024-04-08 09:57:39 | 2.19 KiB |
| coq-equations_1.3-8.18-1build3.debian.tar.xz | 2024-04-08 09:57:39 | 2.78 KiB |