Index of /ubuntu/pool/universe/c/coq-reduction-effects/
../ coq-reduction-effects_0.1.4-1.debian.tar.xz 13-Aug-2022 18:24 1472 coq-reduction-effects_0.1.4-1.dsc 13-Aug-2022 18:24 2199 coq-reduction-effects_0.1.4-2build3.debian.tar.xz 03-Dec-2022 16:59 1628 coq-reduction-effects_0.1.4-2build3.dsc 03-Dec-2022 16:59 2208 coq-reduction-effects_0.1.4-3.debian.tar.xz 25-Jan-2023 18:49 1572 coq-reduction-effects_0.1.4-3.dsc 25-Jan-2023 18:49 2214 coq-reduction-effects_0.1.4-3build1.debian.tar.xz 26-Jan-2023 20:54 1644 coq-reduction-effects_0.1.4-3build1.dsc 26-Jan-2023 20:54 2213 coq-reduction-effects_0.1.4-3build2.debian.tar.xz 17-Feb-2023 01:50 1656 coq-reduction-effects_0.1.4-3build2.dsc 17-Feb-2023 01:50 2213 coq-reduction-effects_0.1.4-4.debian.tar.xz 13-Jun-2023 12:30 1696 coq-reduction-effects_0.1.4-4.dsc 13-Jun-2023 12:30 2214 coq-reduction-effects_0.1.4-4build1.debian.tar.xz 26-Jul-2023 12:19 1768 coq-reduction-effects_0.1.4-4build1.dsc 26-Jul-2023 12:19 2213 coq-reduction-effects_0.1.4-4build3.debian.tar.xz 23-Nov-2023 07:05 1808 coq-reduction-effects_0.1.4-4build3.dsc 23-Nov-2023 07:05 2213 coq-reduction-effects_0.1.4.orig.tar.gz 13-Aug-2022 18:24 10K coq-reduction-effects_0.1.5-1.debian.tar.xz 23-Dec-2023 00:26 1708 coq-reduction-effects_0.1.5-1.dsc 23-Dec-2023 00:26 2214 coq-reduction-effects_0.1.5.orig.tar.gz 23-Dec-2023 00:26 10K libcoq-reduction-effects_0.1.4-1_amd64.deb 13-Aug-2022 18:24 13K libcoq-reduction-effects_0.1.4-2build3_amd64.deb 03-Dec-2022 16:59 14K libcoq-reduction-effects_0.1.4-3build1_amd64.deb 26-Jan-2023 20:54 14K libcoq-reduction-effects_0.1.4-3build2_amd64.deb 17-Feb-2023 01:50 14K libcoq-reduction-effects_0.1.4-4_amd64.deb 13-Jun-2023 12:30 14K libcoq-reduction-effects_0.1.4-4build1_amd64.deb 26-Jul-2023 13:22 14K libcoq-reduction-effects_0.1.4-4build3_amd64.deb 23-Nov-2023 07:05 14K libcoq-reduction-effects_0.1.5-1_amd64.deb 23-Dec-2023 05:01 15K