Index of /ubuntu/pool/universe/s/ssreflect/
../
libcoq-mathcomp-algebra_1.14.0-10_amd64.deb 22-May-2022 23:54 7286290
libcoq-mathcomp-algebra_1.14.0-11_amd64.deb 02-Jun-2022 00:14 7286232
libcoq-mathcomp-algebra_1.14.0-12_amd64.deb 12-Jun-2022 18:04 7286482
libcoq-mathcomp-algebra_1.14.0-5_all.deb 10-Feb-2022 11:10 7358510
libcoq-mathcomp-algebra_1.14.0-6_all.deb 10-Feb-2022 23:53 7358586
libcoq-mathcomp-algebra_1.14.0-6build1_all.deb 16-Feb-2022 21:34 7358670
libcoq-mathcomp-algebra_1.14.0-7_all.deb 17-Feb-2022 06:11 7358598
libcoq-mathcomp-algebra_1.14.0-9_amd64.deb 30-Apr-2022 08:44 7286068
libcoq-mathcomp-algebra_1.14.0-9build1_amd64.deb 14-May-2022 17:04 7286232
libcoq-mathcomp-algebra_1.15.0-1_amd64.deb 05-Jul-2022 13:19 7335420
libcoq-mathcomp-algebra_1.15.0-1build2_amd64.deb 26-Nov-2022 07:19 7361218
libcoq-mathcomp-algebra_1.15.0-1build3_amd64.deb 03-Dec-2022 10:39 7361090
libcoq-mathcomp-algebra_1.15.0-1build4_amd64.deb 26-Jan-2023 13:54 7360944
libcoq-mathcomp-algebra_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 7357530
libcoq-mathcomp-algebra_1.17.0-1_amd64.deb 14-Jun-2023 05:59 7557688
libcoq-mathcomp-algebra_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 7557636
libcoq-mathcomp-algebra_2.1.0-1build2_amd64.deb 17-Feb-2024 13:43 10319590
libcoq-mathcomp-character_1.14.0-10_amd64.deb 22-May-2022 23:54 4503482
libcoq-mathcomp-character_1.14.0-11_amd64.deb 02-Jun-2022 00:14 4503632
libcoq-mathcomp-character_1.14.0-12_amd64.deb 12-Jun-2022 18:04 4503732
libcoq-mathcomp-character_1.14.0-5_all.deb 10-Feb-2022 11:10 4591506
libcoq-mathcomp-character_1.14.0-6_all.deb 10-Feb-2022 23:53 4591526
libcoq-mathcomp-character_1.14.0-6build1_all.deb 16-Feb-2022 21:34 4591566
libcoq-mathcomp-character_1.14.0-7_all.deb 17-Feb-2022 06:11 4591548
libcoq-mathcomp-character_1.14.0-9_amd64.deb 30-Apr-2022 08:44 4503440
libcoq-mathcomp-character_1.14.0-9build1_amd64.deb 14-May-2022 17:04 4503374
libcoq-mathcomp-character_1.15.0-1_amd64.deb 05-Jul-2022 13:19 4504334
libcoq-mathcomp-character_1.15.0-1build2_amd64.deb 26-Nov-2022 07:19 4482026
libcoq-mathcomp-character_1.15.0-1build3_amd64.deb 03-Dec-2022 10:39 4482322
libcoq-mathcomp-character_1.15.0-1build4_amd64.deb 26-Jan-2023 13:54 4482332
libcoq-mathcomp-character_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 4480642
libcoq-mathcomp-character_1.17.0-1_amd64.deb 14-Jun-2023 05:59 4481208
libcoq-mathcomp-character_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 4481354
libcoq-mathcomp-character_2.1.0-1build2_amd64.deb 17-Feb-2024 13:43 4414628
libcoq-mathcomp-field_1.14.0-10_amd64.deb 22-May-2022 23:54 3138400
libcoq-mathcomp-field_1.14.0-11_amd64.deb 02-Jun-2022 00:14 3138444
libcoq-mathcomp-field_1.14.0-12_amd64.deb 12-Jun-2022 18:04 3138628
libcoq-mathcomp-field_1.14.0-5_all.deb 10-Feb-2022 11:10 3178016
libcoq-mathcomp-field_1.14.0-6_all.deb 10-Feb-2022 23:53 3177938
libcoq-mathcomp-field_1.14.0-6build1_all.deb 16-Feb-2022 21:34 3177870
libcoq-mathcomp-field_1.14.0-7_all.deb 17-Feb-2022 06:11 3177868
libcoq-mathcomp-field_1.14.0-9_amd64.deb 30-Apr-2022 08:44 3138414
libcoq-mathcomp-field_1.14.0-9build1_amd64.deb 14-May-2022 17:04 3138382
libcoq-mathcomp-field_1.15.0-1_amd64.deb 05-Jul-2022 13:19 3139414
libcoq-mathcomp-field_1.15.0-1build2_amd64.deb 26-Nov-2022 07:19 3098830
libcoq-mathcomp-field_1.15.0-1build3_amd64.deb 03-Dec-2022 10:39 3098888
libcoq-mathcomp-field_1.15.0-1build4_amd64.deb 26-Jan-2023 13:54 3098832
libcoq-mathcomp-field_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 3097414
libcoq-mathcomp-field_1.17.0-1_amd64.deb 14-Jun-2023 05:59 3097874
libcoq-mathcomp-field_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 3097798
libcoq-mathcomp-field_2.1.0-1build2_amd64.deb 17-Feb-2024 13:43 3394532
libcoq-mathcomp-fingroup_1.14.0-10_amd64.deb 22-May-2022 23:54 2115610
libcoq-mathcomp-fingroup_1.14.0-11_amd64.deb 02-Jun-2022 00:14 2115596
libcoq-mathcomp-fingroup_1.14.0-12_amd64.deb 12-Jun-2022 18:04 2115764
libcoq-mathcomp-fingroup_1.14.0-5_all.deb 10-Feb-2022 11:10 2143550
libcoq-mathcomp-fingroup_1.14.0-6_all.deb 10-Feb-2022 23:53 2143530
libcoq-mathcomp-fingroup_1.14.0-6build1_all.deb 16-Feb-2022 21:34 2143560
libcoq-mathcomp-fingroup_1.14.0-7_all.deb 17-Feb-2022 06:11 2143514
libcoq-mathcomp-fingroup_1.14.0-9_amd64.deb 30-Apr-2022 08:44 2115584
libcoq-mathcomp-fingroup_1.14.0-9build1_amd64.deb 14-May-2022 17:04 2115636
libcoq-mathcomp-fingroup_1.15.0-1_amd64.deb 05-Jul-2022 13:19 2115242
libcoq-mathcomp-fingroup_1.15.0-1build2_amd64.deb 26-Nov-2022 07:19 2134120
libcoq-mathcomp-fingroup_1.15.0-1build3_amd64.deb 03-Dec-2022 10:39 2134056
libcoq-mathcomp-fingroup_1.15.0-1build4_amd64.deb 26-Jan-2023 13:54 2134108
libcoq-mathcomp-fingroup_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 2133206
libcoq-mathcomp-fingroup_1.17.0-1_amd64.deb 14-Jun-2023 05:59 2138474
libcoq-mathcomp-fingroup_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 2138362
libcoq-mathcomp-fingroup_2.1.0-1build2_amd64.deb 17-Feb-2024 13:43 2233176
libcoq-mathcomp-solvable_1.14.0-10_amd64.deb 22-May-2022 23:54 5211306
libcoq-mathcomp-solvable_1.14.0-11_amd64.deb 02-Jun-2022 00:14 5211188
libcoq-mathcomp-solvable_1.14.0-12_amd64.deb 12-Jun-2022 18:04 5211464
libcoq-mathcomp-solvable_1.14.0-5_all.deb 10-Feb-2022 11:10 5269720
libcoq-mathcomp-solvable_1.14.0-6_all.deb 10-Feb-2022 23:53 5269742
libcoq-mathcomp-solvable_1.14.0-6build1_all.deb 16-Feb-2022 21:34 5269754
libcoq-mathcomp-solvable_1.14.0-7_all.deb 17-Feb-2022 06:11 5269708
libcoq-mathcomp-solvable_1.14.0-9_amd64.deb 30-Apr-2022 08:44 5211372
libcoq-mathcomp-solvable_1.14.0-9build1_amd64.deb 14-May-2022 17:04 5211282
libcoq-mathcomp-solvable_1.15.0-1_amd64.deb 05-Jul-2022 13:19 5210468
libcoq-mathcomp-solvable_1.15.0-1build2_amd64.deb 26-Nov-2022 07:19 5112862
libcoq-mathcomp-solvable_1.15.0-1build3_amd64.deb 03-Dec-2022 10:39 5112986
libcoq-mathcomp-solvable_1.15.0-1build4_amd64.deb 26-Jan-2023 13:54 5112838
libcoq-mathcomp-solvable_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 5110498
libcoq-mathcomp-solvable_1.17.0-1_amd64.deb 14-Jun-2023 05:59 5111770
libcoq-mathcomp-solvable_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 5111852
libcoq-mathcomp-solvable_2.1.0-1build2_amd64.deb 17-Feb-2024 13:43 5236478
libcoq-mathcomp-ssreflect_1.14.0-10_amd64.deb 22-May-2022 23:54 4647898
libcoq-mathcomp-ssreflect_1.14.0-11_amd64.deb 02-Jun-2022 00:14 4648020
libcoq-mathcomp-ssreflect_1.14.0-12_amd64.deb 12-Jun-2022 18:04 4647882
libcoq-mathcomp-ssreflect_1.14.0-5_all.deb 10-Feb-2022 11:10 4699626
libcoq-mathcomp-ssreflect_1.14.0-6_all.deb 10-Feb-2022 23:53 4699456
libcoq-mathcomp-ssreflect_1.14.0-6build1_all.deb 16-Feb-2022 21:34 4699488
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb 17-Feb-2022 06:11 4699482
libcoq-mathcomp-ssreflect_1.14.0-9_amd64.deb 30-Apr-2022 08:44 4647876
libcoq-mathcomp-ssreflect_1.14.0-9build1_amd64.deb 14-May-2022 17:04 4647872
libcoq-mathcomp-ssreflect_1.15.0-1_amd64.deb 05-Jul-2022 13:19 4721774
libcoq-mathcomp-ssreflect_1.15.0-1build2_amd64.deb 26-Nov-2022 07:19 4738208
libcoq-mathcomp-ssreflect_1.15.0-1build3_amd64.deb 03-Dec-2022 10:39 4738014
libcoq-mathcomp-ssreflect_1.15.0-1build4_amd64.deb 26-Jan-2023 13:54 4738322
libcoq-mathcomp-ssreflect_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 4735784
libcoq-mathcomp-ssreflect_1.17.0-1_amd64.deb 14-Jun-2023 05:59 4915796
libcoq-mathcomp-ssreflect_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 4915788
libcoq-mathcomp-ssreflect_2.1.0-1build2_amd64.deb 17-Feb-2024 13:43 6618794
libcoq-mathcomp_1.14.0-10_amd64.deb 22-May-2022 23:54 2649002
libcoq-mathcomp_1.14.0-11_amd64.deb 02-Jun-2022 00:14 2655412
libcoq-mathcomp_1.14.0-12_amd64.deb 12-Jun-2022 18:04 2649882
libcoq-mathcomp_1.14.0-5_all.deb 10-Feb-2022 11:10 2653492
libcoq-mathcomp_1.14.0-6_all.deb 10-Feb-2022 23:53 2653476
libcoq-mathcomp_1.14.0-6build1_all.deb 16-Feb-2022 21:34 2653556
libcoq-mathcomp_1.14.0-7_all.deb 17-Feb-2022 06:11 2653510
libcoq-mathcomp_1.14.0-9_amd64.deb 30-Apr-2022 08:44 2649414
libcoq-mathcomp_1.14.0-9build1_amd64.deb 14-May-2022 17:04 2649250
libcoq-mathcomp_1.15.0-1_amd64.deb 05-Jul-2022 13:19 2656036
libcoq-mathcomp_1.15.0-1build2_amd64.deb 26-Nov-2022 07:19 2651016
libcoq-mathcomp_1.15.0-1build3_amd64.deb 03-Dec-2022 10:39 2650930
libcoq-mathcomp_1.15.0-1build4_amd64.deb 26-Jan-2023 13:54 2651882
libcoq-mathcomp_1.15.0-1build5_amd64.deb 16-Feb-2023 16:34 2650110
libcoq-mathcomp_1.17.0-1_amd64.deb 14-Jun-2023 05:59 2737274
libcoq-mathcomp_1.17.0-1build1_amd64.deb 25-Jul-2023 07:39 2737462
libcoq-mathcomp_2.1.0-1build2_amd64.deb 17-Feb-2024 13:43 2465304
libssreflect-coq_1.10.0+dfsg-2_all.deb 19-Mar-2020 09:23 25950760
libssreflect-coq_1.11.0-1build1_all.deb 05-Oct-2020 13:28 25628704
libssreflect-coq_1.12.0-1_all.deb 11-Jan-2021 18:29 26399356
libssreflect-coq_1.13.0-1_all.deb 12-Dec-2021 09:09 30087904
libssreflect-coq_1.13.0-2_all.deb 19-Jan-2022 00:19 29710212
libssreflect-coq_1.14.0-1_all.deb 01-Feb-2022 22:23 29749054
libssreflect-coq_1.14.0-2_all.deb 05-Feb-2022 19:03 29748798
libssreflect-coq_1.14.0-3_all.deb 06-Feb-2022 17:58 29749894
libssreflect-coq_1.5-3build1_all.deb 05-Nov-2015 03:58 1193480
libssreflect-coq_1.5~rc1-3_all.deb 21-Jan-2014 05:53 1188156
libssreflect-coq_1.6.1-3build1_all.deb 28-Oct-2017 17:03 24199944
libssreflect-ocaml-dev_1.5-3build1_amd64.deb 05-Nov-2015 03:58 64096
libssreflect-ocaml-dev_1.5-3build1_i386.deb 05-Nov-2015 03:59 64068
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb 21-Jan-2014 05:53 61652
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb 21-Jan-2014 05:54 61608
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb 28-Oct-2017 17:03 60276
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb 28-Oct-2017 17:03 60272
libssreflect-ocaml_1.5-3build1_amd64.deb 05-Nov-2015 03:58 445836
libssreflect-ocaml_1.5-3build1_i386.deb 05-Nov-2015 03:59 393718
libssreflect-ocaml_1.5~rc1-3_amd64.deb 21-Jan-2014 05:53 450496
libssreflect-ocaml_1.5~rc1-3_i386.deb 21-Jan-2014 05:54 390814
libssreflect-ocaml_1.6.1-3build1_amd64.deb 28-Oct-2017 17:03 398912
libssreflect-ocaml_1.6.1-3build1_i386.deb 28-Oct-2017 17:03 348588
ssreflect_1.10.0+dfsg-2.debian.tar.xz 19-Mar-2020 08:48 12676
ssreflect_1.10.0+dfsg-2.dsc 19-Mar-2020 08:48 2129
ssreflect_1.10.0+dfsg.orig.tar.gz 06-Dec-2019 17:38 1218046
ssreflect_1.11.0-1build1.debian.tar.xz 05-Oct-2020 12:49 12800
ssreflect_1.11.0-1build1.dsc 05-Oct-2020 12:49 2118
ssreflect_1.11.0.orig.tar.gz 16-Sep-2020 06:13 1276618
ssreflect_1.12.0-1.debian.tar.xz 11-Jan-2021 17:18 12792
ssreflect_1.12.0-1.dsc 11-Jan-2021 17:18 2094
ssreflect_1.12.0.orig.tar.gz 11-Jan-2021 17:18 1318853
ssreflect_1.13.0-1.debian.tar.xz 22-Nov-2021 23:33 12092
ssreflect_1.13.0-1.dsc 22-Nov-2021 23:33 2111
ssreflect_1.13.0-2.debian.tar.xz 18-Jan-2022 23:34 12140
ssreflect_1.13.0-2.dsc 18-Jan-2022 23:34 2111
ssreflect_1.13.0.orig.tar.gz 22-Nov-2021 23:33 1352255
ssreflect_1.14.0-1.debian.tar.xz 24-Jan-2022 23:34 12148
ssreflect_1.14.0-1.dsc 24-Jan-2022 23:34 2112
ssreflect_1.14.0-10.debian.tar.xz 22-May-2022 23:35 12464
ssreflect_1.14.0-10.dsc 22-May-2022 23:35 2584
ssreflect_1.14.0-11.debian.tar.xz 01-Jun-2022 23:23 12464
ssreflect_1.14.0-11.dsc 01-Jun-2022 23:23 2584
ssreflect_1.14.0-12.debian.tar.xz 12-Jun-2022 17:23 12480
ssreflect_1.14.0-12.dsc 12-Jun-2022 17:23 2607
ssreflect_1.14.0-2.debian.tar.xz 05-Feb-2022 17:49 12200
ssreflect_1.14.0-2.dsc 05-Feb-2022 17:49 2112
ssreflect_1.14.0-3.debian.tar.xz 06-Feb-2022 17:19 12236
ssreflect_1.14.0-3.dsc 06-Feb-2022 17:19 2112
ssreflect_1.14.0-5.debian.tar.xz 09-Feb-2022 23:24 12332
ssreflect_1.14.0-5.dsc 09-Feb-2022 23:24 2592
ssreflect_1.14.0-6.debian.tar.xz 10-Feb-2022 23:14 12344
ssreflect_1.14.0-6.dsc 10-Feb-2022 23:14 2580
ssreflect_1.14.0-6build1.debian.tar.xz 16-Feb-2022 21:32 12408
ssreflect_1.14.0-6build1.dsc 16-Feb-2022 21:32 2579
ssreflect_1.14.0-7.debian.tar.xz 17-Feb-2022 06:10 12372
ssreflect_1.14.0-7.dsc 17-Feb-2022 06:10 2580
ssreflect_1.14.0-9.debian.tar.xz 30-Apr-2022 01:32 12432
ssreflect_1.14.0-9.dsc 30-Apr-2022 01:32 2580
ssreflect_1.14.0-9build1.debian.tar.xz 14-May-2022 10:44 12508
ssreflect_1.14.0-9build1.dsc 14-May-2022 10:44 2579
ssreflect_1.14.0.orig.tar.gz 24-Jan-2022 23:34 1352989
ssreflect_1.15.0-1.debian.tar.xz 05-Jul-2022 11:28 12380
ssreflect_1.15.0-1.dsc 05-Jul-2022 11:28 2603
ssreflect_1.15.0-1build2.debian.tar.xz 26-Nov-2022 07:00 12456
ssreflect_1.15.0-1build2.dsc 26-Nov-2022 07:00 2602
ssreflect_1.15.0-1build3.debian.tar.xz 03-Dec-2022 09:59 12464
ssreflect_1.15.0-1build3.dsc 03-Dec-2022 09:59 2602
ssreflect_1.15.0-1build4.debian.tar.xz 26-Jan-2023 13:54 12472
ssreflect_1.15.0-1build4.dsc 26-Jan-2023 13:54 2602
ssreflect_1.15.0-1build5.debian.tar.xz 16-Feb-2023 15:54 12500
ssreflect_1.15.0-1build5.dsc 16-Feb-2023 15:54 2602
ssreflect_1.15.0-1build6.debian.tar.xz 13-Jun-2023 10:04 12512
ssreflect_1.15.0-1build6.dsc 13-Jun-2023 10:04 2602
ssreflect_1.15.0.orig.tar.gz 05-Jul-2022 11:28 1359283
ssreflect_1.17.0-1.debian.tar.xz 14-Jun-2023 05:29 12424
ssreflect_1.17.0-1.dsc 14-Jun-2023 05:29 2603
ssreflect_1.17.0-1build1.debian.tar.xz 25-Jul-2023 06:29 12468
ssreflect_1.17.0-1build1.dsc 25-Jul-2023 06:29 2602
ssreflect_1.17.0.orig.tar.gz 14-Jun-2023 05:29 1384329
ssreflect_1.5-3build1.debian.tar.xz 05-Nov-2015 03:48 11592
ssreflect_1.5-3build1.dsc 05-Nov-2015 03:48 1911
ssreflect_1.5.orig.tar.gz 26-Apr-2014 12:12 217833
ssreflect_1.5~rc1-3.debian.tar.xz 21-Jan-2014 05:18 11448
ssreflect_1.5~rc1-3.dsc 21-Jan-2014 05:18 2240
ssreflect_1.5~rc1.orig.tar.gz 06-Dec-2013 17:23 203960
ssreflect_1.6.1-3build1.debian.tar.xz 28-Oct-2017 16:19 12572
ssreflect_1.6.1-3build1.dsc 28-Oct-2017 16:19 2281
ssreflect_1.6.1.orig.tar.gz 30-Dec-2016 17:13 4691532
ssreflect_2.1.0-1build2.debian.tar.xz 17-Feb-2024 12:17 12712
ssreflect_2.1.0-1build2.dsc 17-Feb-2024 12:17 2621
ssreflect_2.1.0.orig.tar.gz 24-Dec-2023 17:26 1835482