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

../
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-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-4build2.debian.tar.xz  06-Nov-2023 23:14    1788
coq-reduction-effects_0.1.4-4build2.dsc            06-Nov-2023 23:14    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-1build1.debian.tar.xz  24-Mar-2024 07:53    1828
coq-reduction-effects_0.1.5-1build1.dsc            24-Mar-2024 07:53    2329
coq-reduction-effects_0.1.5-1build2.debian.tar.xz  01-Apr-2024 01:36    1860
coq-reduction-effects_0.1.5-1build2.dsc            01-Apr-2024 01:36    2329
coq-reduction-effects_0.1.5-1build3.debian.tar.xz  08-Apr-2024 14:57    1916
coq-reduction-effects_0.1.5-1build3.dsc            08-Apr-2024 14:57    2292
coq-reduction-effects_0.1.5-4.debian.tar.xz        02-May-2024 18:53    1804
coq-reduction-effects_0.1.5-4.dsc                  02-May-2024 18:53    2214
coq-reduction-effects_0.1.5-4build1.debian.tar.xz  03-May-2024 03:28    1876
coq-reduction-effects_0.1.5-4build1.dsc            03-May-2024 03:28    2213
coq-reduction-effects_0.1.5-4build2.debian.tar.xz  14-May-2024 01:39    1892
coq-reduction-effects_0.1.5-4build2.dsc            14-May-2024 01:39    2213
coq-reduction-effects_0.1.5-4build3.debian.tar.xz  15-Jun-2024 21:43    1900
coq-reduction-effects_0.1.5-4build3.dsc            15-Jun-2024 21:43    2213
coq-reduction-effects_0.1.5-5.debian.tar.xz        04-Aug-2024 18:34    1876
coq-reduction-effects_0.1.5-5.dsc                  04-Aug-2024 18:34    1995
coq-reduction-effects_0.1.5-5build1.debian.tar.xz  15-Aug-2024 14:47    1948
coq-reduction-effects_0.1.5-5build1.dsc            15-Aug-2024 14:47    2213
coq-reduction-effects_0.1.5-5build2.debian.tar.xz  07-Sep-2024 06:05    2008
coq-reduction-effects_0.1.5-5build2.dsc            07-Sep-2024 06:05    2213
coq-reduction-effects_0.1.5-5build3.debian.tar.xz  07-Sep-2024 22:43    2020
coq-reduction-effects_0.1.5-5build3.dsc            07-Sep-2024 22:43    2213
coq-reduction-effects_0.1.5-5build4.debian.tar.xz  21-Nov-2024 06:31    2072
coq-reduction-effects_0.1.5-5build4.dsc            21-Nov-2024 06:31    2213
coq-reduction-effects_0.1.5-5build5.debian.tar.xz  02-Feb-2025 09:04    2080
coq-reduction-effects_0.1.5-5build5.dsc            02-Feb-2025 09:04    2213
coq-reduction-effects_0.1.5-5build6.debian.tar.xz  14-Feb-2025 07:54    2096
coq-reduction-effects_0.1.5-5build6.dsc            14-Feb-2025 07:54    2213
coq-reduction-effects_0.1.5-5build7.debian.tar.xz  19-Feb-2025 04:25    2120
coq-reduction-effects_0.1.5-5build7.dsc            19-Feb-2025 04:25    2213
coq-reduction-effects_0.1.5-5build8.debian.tar.xz  20-Jun-2025 20:22    2152
coq-reduction-effects_0.1.5-5build8.dsc            20-Jun-2025 20:22    2213
coq-reduction-effects_0.1.5.orig.tar.gz            23-Dec-2023 00:26     10K
libcoq-reduction-effects_0.1.4-3build2_amd64.deb   17-Feb-2023 01:50     14K
libcoq-reduction-effects_0.1.4-4build1_amd64.deb   26-Jul-2023 13:22     14K
libcoq-reduction-effects_0.1.4-4build2_amd64.deb   06-Nov-2023 23:44     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
libcoq-reduction-effects_0.1.5-1build1_amd64.deb   24-Mar-2024 07:53     14K
libcoq-reduction-effects_0.1.5-1build2_amd64.deb   01-Apr-2024 02:32     14K
libcoq-reduction-effects_0.1.5-1build3_amd64.deb   08-Apr-2024 14:57     14K
libcoq-reduction-effects_0.1.5-4_amd64.deb         02-May-2024 18:53     14K
libcoq-reduction-effects_0.1.5-4build1_amd64.deb   03-May-2024 03:28     14K
libcoq-reduction-effects_0.1.5-4build2_amd64.deb   14-May-2024 01:40     14K
libcoq-reduction-effects_0.1.5-4build3_amd64.deb   15-Jun-2024 21:43     15K
libcoq-reduction-effects_0.1.5-5_amd64.deb         04-Aug-2024 18:34     15K
libcoq-reduction-effects_0.1.5-5build1_amd64.deb   15-Aug-2024 14:47     15K
libcoq-reduction-effects_0.1.5-5build2_amd64.deb   07-Sep-2024 06:05     16K
libcoq-reduction-effects_0.1.5-5build3_amd64.deb   07-Sep-2024 22:44     16K
libcoq-reduction-effects_0.1.5-5build4_amd64.deb   21-Nov-2024 06:31     15K
libcoq-reduction-effects_0.1.5-5build5_amd64.deb   02-Feb-2025 09:04     15K
libcoq-reduction-effects_0.1.5-5build6_amd64.deb   14-Feb-2025 07:54     15K
libcoq-reduction-effects_0.1.5-5build7_amd64.deb   19-Feb-2025 04:25     15K
libcoq-reduction-effects_0.1.5-5build8_amd64.deb   20-Jun-2025 20:23     15K