../ coqeal_1.1.1-3.debian.tar.xz 27-Sep-2025 09:45 2160 coqeal_1.1.1-3.dsc 27-Sep-2025 09:45 2158 coqeal_1.1.1.orig.tar.gz 27-Sep-2025 09:45 214K coqeal_2.1.0-1.debian.tar.xz 26-Sep-2025 20:20 2408 coqeal_2.1.0-1.dsc 26-Sep-2025 20:20 2184 coqeal_2.1.0.orig.tar.gz 26-Sep-2025 20:20 221K libcoq-coqeal_1.1.1-3+b1_amd64.deb 27-Sep-2025 11:35 4M libcoq-coqeal_1.1.1-3+b1_i386.deb 27-Sep-2025 11:35 4M libcoq-coqeal_2.1.0-1+b1_amd64.deb 26-Sep-2025 23:42 5M