| Parent directory/ | - | - |
| coq-equations_1.3-8.15-2build1.debian.tar.xz | 2224 | 2022-Aug-30 10:48 |
| coq-equations_1.3-8.15-2build1.dsc | 2160 | 2022-Aug-30 10:48 |
| coq-equations_1.3-8.15.orig.tar.gz | 1095737 | 2022-Jul-18 23:49 |
| coq-equations_1.3-8.16-2build2.debian.tar.xz | 2316 | 2023-Feb-17 07:29 |
| coq-equations_1.3-8.16-2build2.dsc | 2165 | 2023-Feb-17 07:29 |
| coq-equations_1.3-8.16.orig.tar.gz | 1097638 | 2022-Nov-06 03:17 |
| libcoq-equations_1.3-8.15-2build1_amd64.deb | 1638662 | 2022-Aug-30 10:48 |
| libcoq-equations_1.3-8.16-2build2_amd64.deb | 1627160 | 2023-Feb-17 07:29 |