Index of /ubuntu/pool/universe/c/coq-reduction-effects/

../
coq-reduction-effects_0.1.4-3build2.debian.tar.xz  16-Feb-2023 18:50    1656
coq-reduction-effects_0.1.4-3build2.dsc            16-Feb-2023 18:50    2213
coq-reduction-effects_0.1.4-4build1.debian.tar.xz  26-Jul-2023 05:19    1768
coq-reduction-effects_0.1.4-4build1.dsc            26-Jul-2023 05:19    2213
coq-reduction-effects_0.1.4.orig.tar.gz            13-Aug-2022 11:24     10K
coq-reduction-effects_0.1.5-1.debian.tar.xz        22-Dec-2023 17:26    1708
coq-reduction-effects_0.1.5-1.dsc                  22-Dec-2023 17:26    2214
coq-reduction-effects_0.1.5-1build1.debian.tar.xz  24-Mar-2024 00:53    1828
coq-reduction-effects_0.1.5-1build1.dsc            24-Mar-2024 00:53    2329
coq-reduction-effects_0.1.5-1build2.debian.tar.xz  31-Mar-2024 18:36    1860
coq-reduction-effects_0.1.5-1build2.dsc            31-Mar-2024 18:36    2329
coq-reduction-effects_0.1.5.orig.tar.gz            22-Dec-2023 17:26     10K
libcoq-reduction-effects_0.1.4-3build2_amd64.deb   16-Feb-2023 18:50     14K
libcoq-reduction-effects_0.1.4-4build1_amd64.deb   26-Jul-2023 06:22     14K
libcoq-reduction-effects_0.1.5-1_amd64.deb         22-Dec-2023 22:01     15K
libcoq-reduction-effects_0.1.5-1build2_amd64.deb   31-Mar-2024 19:32     14K