../ coqeal_1.1.1-3.debian.tar.xz 31-Jul-2024 11:59 2160 coqeal_1.1.1-3.dsc 31-Jul-2024 11:59 2158 coqeal_1.1.1.orig.tar.gz 31-Jul-2024 11:59 218742 libcoq-coqeal_1.1.1-3+b1_amd64.deb 31-Jul-2024 12:31 4620840 libcoq-coqeal_1.1.1-3+b1_arm64.deb 31-Jul-2024 12:35 4619912 libcoq-coqeal_1.1.1-3+b1_i386.deb 31-Jul-2024 12:33 4618560