../ coq-equations_1.3-8.15-2.debian.tar.xz 14-Jul-2022 13:48 2144 coq-equations_1.3-8.15-2.dsc 14-Jul-2022 13:48 2161 coq-equations_1.3-8.15.orig.tar.gz 14-Jul-2022 13:48 1095737 coq-equations_1.3-8.16-1.debian.tar.xz 06-Sep-2022 09:09 2176 coq-equations_1.3-8.16-1.dsc 06-Sep-2022 09:09 2161 coq-equations_1.3-8.16.orig.tar.gz 06-Sep-2022 09:09 1097638 libcoq-equations_1.3-8.15-2+b1_armhf.deb 01-Sep-2022 00:33 1404332