Index of /linux/debian/pool/main/s/ssreflect/


../
libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb      13-Feb-2023 09:55             6501872
libcoq-mathcomp-algebra_1.15.0-1+b4_arm64.deb      13-Feb-2023 10:40             6501116
libcoq-mathcomp-algebra_1.15.0-1+b4_armhf.deb      13-Feb-2023 10:25             6502276
libcoq-mathcomp-algebra_1.15.0-1+b4_i386.deb       13-Feb-2023 10:00             6501356
libcoq-mathcomp-algebra_1.15.0-1+b4_ppc64el.deb    13-Feb-2023 22:59             6501480
libcoq-mathcomp-algebra_1.15.0-1+b4_s390x.deb      13-Feb-2023 09:50             6502184
libcoq-mathcomp-algebra_2.1.0-1+b1_amd64.deb       16-Feb-2024 14:14             9033180
libcoq-mathcomp-algebra_2.1.0-1+b1_arm64.deb       16-Feb-2024 17:11             9032616
libcoq-mathcomp-algebra_2.1.0-1+b1_armhf.deb       16-Feb-2024 13:38             9031020
libcoq-mathcomp-algebra_2.1.0-1+b1_i386.deb        16-Feb-2024 14:04             9031064
libcoq-mathcomp-algebra_2.1.0-1+b1_ppc64el.deb     16-Feb-2024 14:59             9032912
libcoq-mathcomp-algebra_2.1.0-1+b1_riscv64.deb     17-Feb-2024 09:37             9032924
libcoq-mathcomp-algebra_2.1.0-1+b1_s390x.deb       16-Feb-2024 13:48             9031936
libcoq-mathcomp-algebra_2.1.0-1+b2_amd64.deb       20-Mar-2024 01:22             9032584
libcoq-mathcomp-algebra_2.1.0-1+b2_arm64.deb       20-Mar-2024 02:24             9033520
libcoq-mathcomp-algebra_2.1.0-1+b2_i386.deb        20-Mar-2024 00:20             9030204
libcoq-mathcomp-algebra_2.1.0-1+b2_ppc64el.deb     20-Mar-2024 01:58             9032812
libcoq-mathcomp-algebra_2.1.0-1+b2_s390x.deb       20-Mar-2024 09:50             9032844
libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb    13-Feb-2023 09:55             3960348
libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb    13-Feb-2023 10:40             3959668
libcoq-mathcomp-character_1.15.0-1+b4_armhf.deb    13-Feb-2023 10:25             3959320
libcoq-mathcomp-character_1.15.0-1+b4_i386.deb     13-Feb-2023 10:00             3959796
libcoq-mathcomp-character_1.15.0-1+b4_ppc64el.deb  13-Feb-2023 22:59             3959224
libcoq-mathcomp-character_1.15.0-1+b4_s390x.deb    13-Feb-2023 09:50             3959240
libcoq-mathcomp-character_2.1.0-1+b1_amd64.deb     16-Feb-2024 14:14             3941680
libcoq-mathcomp-character_2.1.0-1+b1_arm64.deb     16-Feb-2024 17:11             3941424
libcoq-mathcomp-character_2.1.0-1+b1_armhf.deb     16-Feb-2024 13:38             3940040
libcoq-mathcomp-character_2.1.0-1+b1_i386.deb      16-Feb-2024 14:04             3940896
libcoq-mathcomp-character_2.1.0-1+b1_ppc64el.deb   16-Feb-2024 14:59             3941864
libcoq-mathcomp-character_2.1.0-1+b1_riscv64.deb   17-Feb-2024 09:37             3941436
libcoq-mathcomp-character_2.1.0-1+b1_s390x.deb     16-Feb-2024 13:48             3941324
libcoq-mathcomp-character_2.1.0-1+b2_amd64.deb     20-Mar-2024 01:22             3941264
libcoq-mathcomp-character_2.1.0-1+b2_arm64.deb     20-Mar-2024 02:24             3941532
libcoq-mathcomp-character_2.1.0-1+b2_i386.deb      20-Mar-2024 00:20             3940776
libcoq-mathcomp-character_2.1.0-1+b2_ppc64el.deb   20-Mar-2024 01:58             3941416
libcoq-mathcomp-character_2.1.0-1+b2_s390x.deb     20-Mar-2024 09:50             3941500
libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb        13-Feb-2023 09:55             2764764
libcoq-mathcomp-field_1.15.0-1+b4_arm64.deb        13-Feb-2023 10:40             2764656
libcoq-mathcomp-field_1.15.0-1+b4_armhf.deb        13-Feb-2023 10:25             2765000
libcoq-mathcomp-field_1.15.0-1+b4_i386.deb         13-Feb-2023 10:00             2765112
libcoq-mathcomp-field_1.15.0-1+b4_ppc64el.deb      13-Feb-2023 22:59             2765040
libcoq-mathcomp-field_1.15.0-1+b4_s390x.deb        13-Feb-2023 09:50             2764880
libcoq-mathcomp-field_2.1.0-1+b1_amd64.deb         16-Feb-2024 14:14             3041216
libcoq-mathcomp-field_2.1.0-1+b1_arm64.deb         16-Feb-2024 17:11             3041244
libcoq-mathcomp-field_2.1.0-1+b1_armhf.deb         16-Feb-2024 13:38             3039896
libcoq-mathcomp-field_2.1.0-1+b1_i386.deb          16-Feb-2024 14:04             3039472
libcoq-mathcomp-field_2.1.0-1+b1_ppc64el.deb       16-Feb-2024 14:59             3041740
libcoq-mathcomp-field_2.1.0-1+b1_riscv64.deb       17-Feb-2024 09:37             3041556
libcoq-mathcomp-field_2.1.0-1+b1_s390x.deb         16-Feb-2024 13:48             3041488
libcoq-mathcomp-field_2.1.0-1+b2_amd64.deb         20-Mar-2024 01:22             3041352
libcoq-mathcomp-field_2.1.0-1+b2_arm64.deb         20-Mar-2024 02:24             3041472
libcoq-mathcomp-field_2.1.0-1+b2_i386.deb          20-Mar-2024 00:20             3040172
libcoq-mathcomp-field_2.1.0-1+b2_ppc64el.deb       20-Mar-2024 01:58             3041260
libcoq-mathcomp-field_2.1.0-1+b2_s390x.deb         20-Mar-2024 09:50             3041184
libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb     13-Feb-2023 09:55             1919956
libcoq-mathcomp-fingroup_1.15.0-1+b4_arm64.deb     13-Feb-2023 10:40             1919688
libcoq-mathcomp-fingroup_1.15.0-1+b4_armhf.deb     13-Feb-2023 10:25             1919640
libcoq-mathcomp-fingroup_1.15.0-1+b4_i386.deb      13-Feb-2023 10:00             1919332
libcoq-mathcomp-fingroup_1.15.0-1+b4_ppc64el.deb   13-Feb-2023 22:59             1919712
libcoq-mathcomp-fingroup_1.15.0-1+b4_s390x.deb     13-Feb-2023 09:50             1919304
libcoq-mathcomp-fingroup_2.1.0-1+b1_amd64.deb      16-Feb-2024 14:14             2020800
libcoq-mathcomp-fingroup_2.1.0-1+b1_arm64.deb      16-Feb-2024 17:11             2020636
libcoq-mathcomp-fingroup_2.1.0-1+b1_armhf.deb      16-Feb-2024 13:38             2020448
libcoq-mathcomp-fingroup_2.1.0-1+b1_i386.deb       16-Feb-2024 14:04             2019904
libcoq-mathcomp-fingroup_2.1.0-1+b1_ppc64el.deb    16-Feb-2024 14:59             2021000
libcoq-mathcomp-fingroup_2.1.0-1+b1_riscv64.deb    17-Feb-2024 09:37             2020608
libcoq-mathcomp-fingroup_2.1.0-1+b1_s390x.deb      16-Feb-2024 13:48             2020712
libcoq-mathcomp-fingroup_2.1.0-1+b2_amd64.deb      20-Mar-2024 01:22             2020700
libcoq-mathcomp-fingroup_2.1.0-1+b2_arm64.deb      20-Mar-2024 02:24             2020300
libcoq-mathcomp-fingroup_2.1.0-1+b2_i386.deb       20-Mar-2024 00:20             2020420
libcoq-mathcomp-fingroup_2.1.0-1+b2_ppc64el.deb    20-Mar-2024 01:58             2020824
libcoq-mathcomp-fingroup_2.1.0-1+b2_s390x.deb      20-Mar-2024 09:50             2020580
libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb     13-Feb-2023 09:55             4535648
libcoq-mathcomp-solvable_1.15.0-1+b4_arm64.deb     13-Feb-2023 10:40             4535188
libcoq-mathcomp-solvable_1.15.0-1+b4_armhf.deb     13-Feb-2023 10:25             4535096
libcoq-mathcomp-solvable_1.15.0-1+b4_i386.deb      13-Feb-2023 10:00             4535276
libcoq-mathcomp-solvable_1.15.0-1+b4_ppc64el.deb   13-Feb-2023 22:59             4535088
libcoq-mathcomp-solvable_1.15.0-1+b4_s390x.deb     13-Feb-2023 09:50             4535408
libcoq-mathcomp-solvable_2.1.0-1+b1_amd64.deb      16-Feb-2024 14:14             4657308
libcoq-mathcomp-solvable_2.1.0-1+b1_arm64.deb      16-Feb-2024 17:11             4657360
libcoq-mathcomp-solvable_2.1.0-1+b1_armhf.deb      16-Feb-2024 13:38             4657800
libcoq-mathcomp-solvable_2.1.0-1+b1_i386.deb       16-Feb-2024 14:04             4657308
libcoq-mathcomp-solvable_2.1.0-1+b1_ppc64el.deb    16-Feb-2024 14:59             4657188
libcoq-mathcomp-solvable_2.1.0-1+b1_riscv64.deb    17-Feb-2024 09:37             4657016
libcoq-mathcomp-solvable_2.1.0-1+b1_s390x.deb      16-Feb-2024 13:48             4657580
libcoq-mathcomp-solvable_2.1.0-1+b2_amd64.deb      20-Mar-2024 01:22             4657012
libcoq-mathcomp-solvable_2.1.0-1+b2_arm64.deb      20-Mar-2024 02:24             4657476
libcoq-mathcomp-solvable_2.1.0-1+b2_i386.deb       20-Mar-2024 00:20             4657284
libcoq-mathcomp-solvable_2.1.0-1+b2_ppc64el.deb    20-Mar-2024 01:58             4657760
libcoq-mathcomp-solvable_2.1.0-1+b2_s390x.deb      20-Mar-2024 09:50             4657328
libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb    13-Feb-2023 09:55             4207844
libcoq-mathcomp-ssreflect_1.15.0-1+b4_arm64.deb    13-Feb-2023 10:40             4207916
libcoq-mathcomp-ssreflect_1.15.0-1+b4_armhf.deb    13-Feb-2023 10:25             4207160
libcoq-mathcomp-ssreflect_1.15.0-1+b4_i386.deb     13-Feb-2023 10:00             4206968
libcoq-mathcomp-ssreflect_1.15.0-1+b4_ppc64el.deb  13-Feb-2023 22:59             4208168
libcoq-mathcomp-ssreflect_1.15.0-1+b4_s390x.deb    13-Feb-2023 09:50             4207776
libcoq-mathcomp-ssreflect_2.1.0-1+b1_amd64.deb     16-Feb-2024 14:14             5796552
libcoq-mathcomp-ssreflect_2.1.0-1+b1_arm64.deb     16-Feb-2024 17:11             5796184
libcoq-mathcomp-ssreflect_2.1.0-1+b1_armhf.deb     16-Feb-2024 13:38             5798064
libcoq-mathcomp-ssreflect_2.1.0-1+b1_i386.deb      16-Feb-2024 14:04             5798568
libcoq-mathcomp-ssreflect_2.1.0-1+b1_ppc64el.deb   16-Feb-2024 14:59             5797576
libcoq-mathcomp-ssreflect_2.1.0-1+b1_riscv64.deb   17-Feb-2024 09:37             5796624
libcoq-mathcomp-ssreflect_2.1.0-1+b1_s390x.deb     16-Feb-2024 13:48             5797488
libcoq-mathcomp-ssreflect_2.1.0-1+b2_amd64.deb     20-Mar-2024 01:22             5796540
libcoq-mathcomp-ssreflect_2.1.0-1+b2_arm64.deb     20-Mar-2024 02:24             5796860
libcoq-mathcomp-ssreflect_2.1.0-1+b2_i386.deb      20-Mar-2024 00:20             5798428
libcoq-mathcomp-ssreflect_2.1.0-1+b2_ppc64el.deb   20-Mar-2024 01:58             5797032
libcoq-mathcomp-ssreflect_2.1.0-1+b2_s390x.deb     20-Mar-2024 09:50             5797016
libcoq-mathcomp_1.15.0-1+b4_amd64.deb              13-Feb-2023 09:55             3157880
libcoq-mathcomp_1.15.0-1+b4_arm64.deb              13-Feb-2023 10:40             3157712
libcoq-mathcomp_1.15.0-1+b4_armhf.deb              13-Feb-2023 10:25             3158096
libcoq-mathcomp_1.15.0-1+b4_i386.deb               13-Feb-2023 10:00             3157748
libcoq-mathcomp_1.15.0-1+b4_ppc64el.deb            13-Feb-2023 22:59             3157888
libcoq-mathcomp_1.15.0-1+b4_s390x.deb              13-Feb-2023 09:50             3157852
libcoq-mathcomp_2.1.0-1+b1_amd64.deb               16-Feb-2024 14:14             2867736
libcoq-mathcomp_2.1.0-1+b1_arm64.deb               16-Feb-2024 17:11             2867404
libcoq-mathcomp_2.1.0-1+b1_armhf.deb               16-Feb-2024 13:38             2867620
libcoq-mathcomp_2.1.0-1+b1_i386.deb                16-Feb-2024 14:04             2867696
libcoq-mathcomp_2.1.0-1+b1_ppc64el.deb             16-Feb-2024 14:59             2867524
libcoq-mathcomp_2.1.0-1+b1_riscv64.deb             17-Feb-2024 09:37             2867764
libcoq-mathcomp_2.1.0-1+b1_s390x.deb               16-Feb-2024 13:48             2867700
libcoq-mathcomp_2.1.0-1+b2_amd64.deb               20-Mar-2024 01:22             2867804
libcoq-mathcomp_2.1.0-1+b2_arm64.deb               20-Mar-2024 02:24             2867504
libcoq-mathcomp_2.1.0-1+b2_i386.deb                20-Mar-2024 00:20             2867488
libcoq-mathcomp_2.1.0-1+b2_ppc64el.deb             20-Mar-2024 01:58             2867752
libcoq-mathcomp_2.1.0-1+b2_s390x.deb               20-Mar-2024 09:50             2867704
libssreflect-coq_1.12.0-1_all.deb                  11-Jan-2021 12:56            26421500
ssreflect_1.12.0-1.debian.tar.xz                   11-Jan-2021 08:58               12792
ssreflect_1.12.0-1.dsc                             11-Jan-2021 08:58                2094
ssreflect_1.12.0.orig.tar.gz                       11-Jan-2021 08:58             1318853
ssreflect_1.15.0-1.debian.tar.xz                   05-Jul-2022 07:05               12380
ssreflect_1.15.0-1.dsc                             05-Jul-2022 07:05                2603
ssreflect_1.15.0.orig.tar.gz                       05-Jul-2022 07:05             1359283
ssreflect_2.1.0-1.debian.tar.xz                    22-Dec-2023 11:07               12608
ssreflect_2.1.0-1.dsc                              22-Dec-2023 11:07                2622
ssreflect_2.1.0.orig.tar.gz                        22-Dec-2023 11:07             1835482