../ coqeal_1.1.1-3.debian.tar.xz 25-Dec-2025 03:17 2160 coqeal_1.1.1-3.dsc 25-Dec-2025 03:17 2158 coqeal_1.1.1.orig.tar.gz 25-Dec-2025 03:17 214K coqeal_2.1.0-1.debian.tar.xz 24-Dec-2025 04:56 2408 coqeal_2.1.0-1.dsc 24-Dec-2025 04:56 2184 coqeal_2.1.0.orig.tar.gz 24-Dec-2025 04:56 221K libcoq-coqeal_1.1.1-3+b1_amd64.deb 25-Dec-2025 06:49 4M libcoq-coqeal_1.1.1-3+b1_i386.deb 25-Dec-2025 06:49 4M libcoq-coqeal_2.1.0-1+b1_amd64.deb 24-Dec-2025 10:54 5M