Index of /debian/pool/main/c/coq-reduction-effects/

../
coq-reduction-effects_0.1.4-3.debian.tar.xz        25-Jan-2023 15:47                1572
coq-reduction-effects_0.1.4-3.dsc                  25-Jan-2023 15:47                2214
coq-reduction-effects_0.1.4.orig.tar.gz            13-Aug-2022 13:08               10292
coq-reduction-effects_0.1.5-1.debian.tar.xz        22-Dec-2023 18:16                1708
coq-reduction-effects_0.1.5-1.dsc                  22-Dec-2023 18:16                2214
coq-reduction-effects_0.1.5-4.debian.tar.xz        26-Apr-2024 22:01                1804
coq-reduction-effects_0.1.5-4.dsc                  26-Apr-2024 22:01                2214
coq-reduction-effects_0.1.5-5.debian.tar.xz        04-Aug-2024 11:53                1876
coq-reduction-effects_0.1.5-5.dsc                  04-Aug-2024 11:53                1995
coq-reduction-effects_0.1.5.orig.tar.gz            22-Dec-2023 18:16               10369
coq-reduction-effects_0.1.6-1.debian.tar.xz        29-Oct-2025 16:39                1920
coq-reduction-effects_0.1.6-1.dsc                  29-Oct-2025 16:39                2226
coq-reduction-effects_0.1.6-2.debian.tar.xz        12-Nov-2025 01:45                1956
coq-reduction-effects_0.1.6-2.dsc                  12-Nov-2025 01:45                2223
coq-reduction-effects_0.1.6.orig.tar.gz            29-Oct-2025 16:39               10436
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb      13-Feb-2023 13:11               14460
libcoq-reduction-effects_0.1.5-1_amd64.deb         22-Dec-2023 19:07               14344
libcoq-reduction-effects_0.1.5-4+b1_amd64.deb      15-Jun-2024 18:59               15344
libcoq-reduction-effects_0.1.5-4_amd64.deb         26-Apr-2024 23:26               14732
libcoq-reduction-effects_0.1.5-5+b1_amd64.deb      11-Aug-2024 12:59               15860
libcoq-reduction-effects_0.1.5-5+b2_amd64.deb      21-Aug-2024 11:54               15860
libcoq-reduction-effects_0.1.5-5+b3_amd64.deb      20-Nov-2024 22:57               15688
libcoq-reduction-effects_0.1.5-5+b4_amd64.deb      21-Nov-2024 00:40               15680
libcoq-reduction-effects_0.1.5-5+b5_amd64.deb      30-Jan-2025 15:16               15672
libcoq-reduction-effects_0.1.5-5+b7_amd64.deb      18-Feb-2025 08:15               15660
libcoq-reduction-effects_0.1.5-5+b8_amd64.deb      15-Jun-2025 18:49               15684
libcoq-reduction-effects_0.1.5-5+b9_amd64.deb      28-Dec-2025 12:20               15656
libcoq-reduction-effects_0.1.5-5_amd64.deb         04-Aug-2024 12:18               15124
libcoq-reduction-effects_0.1.6-1_amd64.deb         29-Oct-2025 16:39               15712
libcoq-reduction-effects_0.1.6-2_amd64.deb         12-Nov-2025 01:45               15748