Index of /ubuntu/pool/universe/c/coq-gappa/
../ coq-gappa_1.5.2-2.debian.tar.xz 21-Jul-2022 06:19 1648 coq-gappa_1.5.2-2.dsc 21-Jul-2022 06:19 2066 coq-gappa_1.5.2-4build2.debian.tar.xz 03-Dec-2022 19:29 2044 coq-gappa_1.5.2-4build2.dsc 03-Dec-2022 19:29 2067 coq-gappa_1.5.2-5.debian.tar.xz 27-Jan-2023 00:29 2008 coq-gappa_1.5.2-5.dsc 27-Jan-2023 00:29 2073 coq-gappa_1.5.2-5build1.debian.tar.xz 17-Feb-2023 01:50 2080 coq-gappa_1.5.2-5build1.dsc 17-Feb-2023 01:50 2072 coq-gappa_1.5.2.orig.tar.bz2 21-Jul-2022 06:19 72K coq-gappa_1.5.3-1.debian.tar.xz 13-Jun-2023 18:34 2048 coq-gappa_1.5.3-1.dsc 13-Jun-2023 18:34 2073 coq-gappa_1.5.3-1build1.debian.tar.xz 26-Jul-2023 12:19 2116 coq-gappa_1.5.3-1build1.dsc 26-Jul-2023 12:19 2072 coq-gappa_1.5.3-1build3.debian.tar.xz 23-Nov-2023 07:05 2152 coq-gappa_1.5.3-1build3.dsc 23-Nov-2023 07:05 2072 coq-gappa_1.5.3.orig.tar.bz2 13-Jun-2023 18:34 72K coq-gappa_1.5.4-1.debian.tar.xz 24-Dec-2023 00:16 2196 coq-gappa_1.5.4-1.dsc 24-Dec-2023 00:16 2073 coq-gappa_1.5.4.orig.tar.bz2 24-Dec-2023 00:16 72K libcoq-gappa_1.5.2-2_amd64.deb 21-Jul-2022 09:44 589K libcoq-gappa_1.5.2-4build2_amd64.deb 03-Dec-2022 19:29 587K libcoq-gappa_1.5.2-5_amd64.deb 27-Jan-2023 00:29 587K libcoq-gappa_1.5.2-5build1_amd64.deb 17-Feb-2023 03:44 586K libcoq-gappa_1.5.3-1_amd64.deb 13-Jun-2023 18:34 586K libcoq-gappa_1.5.3-1build1_amd64.deb 26-Jul-2023 14:24 586K libcoq-gappa_1.5.3-1build3_amd64.deb 23-Nov-2023 07:05 586K libcoq-gappa_1.5.4-1_amd64.deb 24-Dec-2023 00:56 664K