../ coqeal_2.0.2-1.debian.tar.xz 26-Apr-2024 14:17 2316 coqeal_2.0.2-1.dsc 26-Apr-2024 14:17 2171 coqeal_2.0.2.orig.tar.gz 26-Apr-2024 14:17 217033 libcoq-coqeal_2.0.2-1+b2_armhf.deb 25-Jun-2024 10:03 5220384 libcoq-coqeal_2.0.2-1+b3_amd64.deb 25-Jun-2024 09:58 5221916 libcoq-coqeal_2.0.2-1+b3_arm64.deb 25-Jun-2024 10:03 5221736 libcoq-coqeal_2.0.2-1+b3_i386.deb 25-Jun-2024 09:58 5220020