../ coqeal_1.1.1-3.debian.tar.xz 16-Feb-2023 22:32 2160 coqeal_1.1.1-3.dsc 16-Feb-2023 22:32 2158 coqeal_1.1.1.orig.tar.gz 16-Feb-2023 22:32 218742 libcoq-coqeal_1.1.1-3+b1_amd64.deb 16-Feb-2023 22:48 4620840 libcoq-coqeal_1.1.1-3+b1_arm64.deb 16-Feb-2023 22:47 4619912 libcoq-coqeal_1.1.1-3+b1_i386.deb 16-Feb-2023 22:26 4618560