../ coq-equations_1.3-8.15-2build1.debian.tar.xz 30-Aug-2022 10:48 2224 coq-equations_1.3-8.15-2build1.dsc 30-Aug-2022 10:48 2160 coq-equations_1.3-8.15.orig.tar.gz 18-Jul-2022 23:49 1095737 coq-equations_1.3-8.16-1build2.debian.tar.xz 03-Dec-2022 19:54 2268 coq-equations_1.3-8.16-1build2.dsc 03-Dec-2022 19:54 2160 coq-equations_1.3-8.16.orig.tar.gz 06-Nov-2022 03:17 1097638 libcoq-equations_1.3-8.15-2build1_amd64.deb 30-Aug-2022 10:48 1638662 libcoq-equations_1.3-8.16-1build2_amd64.deb 03-Dec-2022 19:54 1628656