../ coqeal_2.0.2-2build5.debian.tar.xz 17-Sep-2024 16:56 2548 coqeal_2.0.2-2build5.dsc 17-Sep-2024 16:56 2170 coqeal_2.0.2.orig.tar.gz 03-May-2024 01:55 212K coqeal_2.1.0-1build2.debian.tar.xz 19-Jun-2025 17:20 2504 coqeal_2.1.0-1build2.dsc 19-Jun-2025 17:20 2170 libcoq-coqeal_2.0.2-2build5_amd64.deb 20-Sep-2024 04:15 6M libcoq-coqeal_2.1.0-1build2_amd64.deb 20-Jun-2025 23:24 6M