Index of /ubuntu/pool/universe/c/coqeal/
../ coqeal_1.1.1-1build1.debian.tar.xz 30-Aug-2022 17:48 2164 coqeal_1.1.1-1build1.dsc 30-Aug-2022 17:48 2152 coqeal_1.1.1-2build3.debian.tar.xz 31-Dec-2022 19:04 2224 coqeal_1.1.1-2build3.dsc 31-Dec-2022 19:04 2152 coqeal_1.1.1-2build4.debian.tar.xz 27-Jan-2023 16:04 2236 coqeal_1.1.1-2build4.dsc 27-Jan-2023 16:04 2152 coqeal_1.1.1-3.debian.tar.xz 28-Jan-2023 06:34 2160 coqeal_1.1.1-3.dsc 28-Jan-2023 06:34 2158 coqeal_1.1.1-3build3.debian.tar.xz 17-Feb-2023 14:29 2256 coqeal_1.1.1-3build3.dsc 17-Feb-2023 14:29 2157 coqeal_1.1.1-3build4.debian.tar.xz 13-Jun-2023 16:04 2276 coqeal_1.1.1-3build4.dsc 13-Jun-2023 16:04 2157 coqeal_1.1.1.orig.tar.gz 08-Jul-2022 18:34 214K coqeal_1.1.3-1.debian.tar.xz 21-Jun-2023 00:20 2224 coqeal_1.1.3-1.dsc 21-Jun-2023 00:20 2179 coqeal_1.1.3-1build1.debian.tar.xz 25-Jul-2023 00:37 2296 coqeal_1.1.3-1build1.dsc 25-Jul-2023 00:37 2178 coqeal_1.1.3-1build3.debian.tar.xz 23-Nov-2023 07:05 2336 coqeal_1.1.3-1build3.dsc 23-Nov-2023 07:05 2178 coqeal_1.1.3.orig.tar.gz 21-Jun-2023 00:20 213K coqeal_2.0.1-1.debian.tar.xz 21-Jan-2024 12:45 2292 coqeal_2.0.1-1.dsc 21-Jan-2024 12:45 2171 coqeal_2.0.1-1build1.debian.tar.xz 28-Jan-2024 22:09 2372 coqeal_2.0.1-1build1.dsc 28-Jan-2024 22:09 2170 coqeal_2.0.1.orig.tar.gz 21-Jan-2024 12:45 212K libcoq-coqeal_1.1.1-1build1_amd64.deb 30-Aug-2022 19:29 5M libcoq-coqeal_1.1.1-2build3_amd64.deb 31-Dec-2022 19:04 5M libcoq-coqeal_1.1.1-2build4_amd64.deb 27-Jan-2023 16:04 5M libcoq-coqeal_1.1.1-3_amd64.deb 28-Jan-2023 06:34 5M libcoq-coqeal_1.1.1-3build3_amd64.deb 17-Feb-2023 14:29 5M libcoq-coqeal_1.1.3-1_amd64.deb 21-Jun-2023 00:50 5M libcoq-coqeal_1.1.3-1build1_amd64.deb 26-Jul-2023 14:55 5M libcoq-coqeal_1.1.3-1build3_amd64.deb 23-Nov-2023 07:05 5M libcoq-coqeal_2.0.0-1_amd64.deb 28-Dec-2023 00:46 7M libcoq-coqeal_2.0.1-1build1_amd64.deb 28-Jan-2024 22:09 5M