../ 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 1M libcoq-equations_1.3-8.15-2build1_amd64.deb 30-Aug-2022 10:48 2M