Index of /ubuntu-old-releases/ubuntu/pool/universe/s/ssreflect/
../
libcoq-mathcomp-algebra_1.15.0-1_amd64.deb 05-Jul-2022 13:19 7335420
libcoq-mathcomp-algebra_1.15.0-1_arm64.deb 05-Jul-2022 19:58 7335402
libcoq-mathcomp-algebra_1.15.0-1_armhf.deb 05-Jul-2022 13:19 7334424
libcoq-mathcomp-algebra_1.15.0-1_ppc64el.deb 05-Jul-2022 13:19 7335426
libcoq-mathcomp-algebra_1.15.0-1_riscv64.deb 06-Jul-2022 03:58 7335278
libcoq-mathcomp-algebra_1.15.0-1_s390x.deb 05-Jul-2022 13:19 7335382
libcoq-mathcomp-character_1.15.0-1_amd64.deb 05-Jul-2022 13:19 4504334
libcoq-mathcomp-character_1.15.0-1_arm64.deb 05-Jul-2022 19:58 4504240
libcoq-mathcomp-character_1.15.0-1_armhf.deb 05-Jul-2022 13:19 4504122
libcoq-mathcomp-character_1.15.0-1_ppc64el.deb 05-Jul-2022 13:19 4504312
libcoq-mathcomp-character_1.15.0-1_riscv64.deb 06-Jul-2022 03:58 4504166
libcoq-mathcomp-character_1.15.0-1_s390x.deb 05-Jul-2022 13:19 4504190
libcoq-mathcomp-field_1.15.0-1_amd64.deb 05-Jul-2022 13:19 3139414
libcoq-mathcomp-field_1.15.0-1_arm64.deb 05-Jul-2022 19:58 3139416
libcoq-mathcomp-field_1.15.0-1_armhf.deb 05-Jul-2022 13:19 3138818
libcoq-mathcomp-field_1.15.0-1_ppc64el.deb 05-Jul-2022 13:19 3139544
libcoq-mathcomp-field_1.15.0-1_riscv64.deb 06-Jul-2022 03:58 3139508
libcoq-mathcomp-field_1.15.0-1_s390x.deb 05-Jul-2022 13:19 3139428
libcoq-mathcomp-fingroup_1.15.0-1_amd64.deb 05-Jul-2022 13:19 2115242
libcoq-mathcomp-fingroup_1.15.0-1_arm64.deb 05-Jul-2022 19:58 2115250
libcoq-mathcomp-fingroup_1.15.0-1_armhf.deb 05-Jul-2022 13:19 2114848
libcoq-mathcomp-fingroup_1.15.0-1_ppc64el.deb 05-Jul-2022 13:19 2115368
libcoq-mathcomp-fingroup_1.15.0-1_riscv64.deb 06-Jul-2022 03:58 2115362
libcoq-mathcomp-fingroup_1.15.0-1_s390x.deb 05-Jul-2022 13:19 2115292
libcoq-mathcomp-solvable_1.15.0-1_amd64.deb 05-Jul-2022 13:19 5210468
libcoq-mathcomp-solvable_1.15.0-1_arm64.deb 05-Jul-2022 19:58 5210584
libcoq-mathcomp-solvable_1.15.0-1_armhf.deb 05-Jul-2022 13:19 5209606
libcoq-mathcomp-solvable_1.15.0-1_ppc64el.deb 05-Jul-2022 13:19 5210454
libcoq-mathcomp-solvable_1.15.0-1_riscv64.deb 06-Jul-2022 03:58 5210448
libcoq-mathcomp-solvable_1.15.0-1_s390x.deb 05-Jul-2022 13:19 5210586
libcoq-mathcomp-ssreflect_1.15.0-1_amd64.deb 05-Jul-2022 13:19 4721774
libcoq-mathcomp-ssreflect_1.15.0-1_arm64.deb 05-Jul-2022 19:58 4721834
libcoq-mathcomp-ssreflect_1.15.0-1_armhf.deb 05-Jul-2022 13:19 4722030
libcoq-mathcomp-ssreflect_1.15.0-1_ppc64el.deb 05-Jul-2022 13:19 4721852
libcoq-mathcomp-ssreflect_1.15.0-1_riscv64.deb 06-Jul-2022 03:58 4721654
libcoq-mathcomp-ssreflect_1.15.0-1_s390x.deb 05-Jul-2022 13:19 4721650
libcoq-mathcomp_1.15.0-1_amd64.deb 05-Jul-2022 13:19 2656036
libcoq-mathcomp_1.15.0-1_arm64.deb 05-Jul-2022 19:58 2656110
libcoq-mathcomp_1.15.0-1_armhf.deb 05-Jul-2022 13:19 2657000
libcoq-mathcomp_1.15.0-1_ppc64el.deb 05-Jul-2022 13:19 2657000
libcoq-mathcomp_1.15.0-1_riscv64.deb 06-Jul-2022 03:58 2655952
libcoq-mathcomp_1.15.0-1_s390x.deb 05-Jul-2022 13:19 2656406
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.2+dfsg-3build1_all.deb 06-Mar-2010 08:04 3661754
libssreflect-coq_1.2+dfsg-6_all.deb 29-Jul-2010 12:05 3661142
libssreflect-coq_1.3pl1-4build1_all.deb 25-Aug-2011 12:03 15750724
libssreflect-coq_1.3pl2-2build1_all.deb 08-Jan-2012 16:03 16079258
libssreflect-coq_1.3pl4-1_all.deb 10-Jun-2012 19:04 16084534
libssreflect-coq_1.4-2_all.deb 09-May-2013 18:33 24764636
libssreflect-coq_1.5-2_all.deb 30-Jul-2014 18:38 1192748
libssreflect-coq_1.6.1-2_all.deb 30-Dec-2016 19:03 24054678
libssreflect-coq_1.6.1-2build4_all.deb 31-Aug-2017 02:03 24203712
libssreflect-coq_1.6.1-3build1_all.deb 28-Oct-2017 17:03 24199944
libssreflect-coq_1.9.0+dfsg-1_all.deb 21-Aug-2019 11:43 26857312
libssreflect-ocaml-dev_1.2+dfsg-3build1_amd64.deb 06-Mar-2010 09:04 323110
libssreflect-ocaml-dev_1.2+dfsg-3build1_i386.deb 06-Mar-2010 08:05 314258
libssreflect-ocaml-dev_1.2+dfsg-3build1_ia64.deb 06-Mar-2010 11:04 73566
libssreflect-ocaml-dev_1.2+dfsg-3build1_powerpc..> 06-Mar-2010 09:04 448118
libssreflect-ocaml-dev_1.2+dfsg-3build1_sparc.deb 06-Mar-2010 09:05 408140
libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb 29-Jul-2010 15:07 323182
libssreflect-ocaml-dev_1.2+dfsg-6_armel.deb 19-Sep-2010 14:04 73546
libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb 29-Jul-2010 12:05 314340
libssreflect-ocaml-dev_1.2+dfsg-6_powerpc.deb 20-Sep-2010 13:32 448200
libssreflect-ocaml-dev_1.3pl1-4build1_amd64.deb 25-Aug-2011 11:03 383818
libssreflect-ocaml-dev_1.3pl1-4build1_armel.deb 25-Aug-2011 17:04 427036
libssreflect-ocaml-dev_1.3pl1-4build1_i386.deb 25-Aug-2011 12:03 376178
libssreflect-ocaml-dev_1.3pl1-4build1_powerpc.deb 25-Aug-2011 11:04 536562
libssreflect-ocaml-dev_1.3pl2-2build1_amd64.deb 08-Jan-2012 15:33 390072
libssreflect-ocaml-dev_1.3pl2-2build1_armel.deb 08-Jan-2012 15:33 433924
libssreflect-ocaml-dev_1.3pl2-2build1_i386.deb 08-Jan-2012 16:03 383552
libssreflect-ocaml-dev_1.3pl2-2build1_powerpc.deb 09-Jan-2012 00:33 546458
libssreflect-ocaml-dev_1.3pl4-1_amd64.deb 10-Jun-2012 19:04 390598
libssreflect-ocaml-dev_1.3pl4-1_armel.deb 10-Jun-2012 19:04 438940
libssreflect-ocaml-dev_1.3pl4-1_i386.deb 10-Jun-2012 19:05 387484
libssreflect-ocaml-dev_1.3pl4-1_powerpc.deb 12-Jun-2012 01:33 547174
libssreflect-ocaml-dev_1.4-2_amd64.deb 09-May-2013 18:03 82742
libssreflect-ocaml-dev_1.4-2_i386.deb 09-May-2013 18:33 81484
libssreflect-ocaml-dev_1.4-2_powerpc.deb 09-May-2013 19:03 82756
libssreflect-ocaml-dev_1.5-2_amd64.deb 30-Jul-2014 18:38 63410
libssreflect-ocaml-dev_1.5-2_arm64.deb 30-Jul-2014 18:39 63366
libssreflect-ocaml-dev_1.5-2_armhf.deb 30-Jul-2014 18:39 63384
libssreflect-ocaml-dev_1.5-2_i386.deb 30-Jul-2014 18:40 63404
libssreflect-ocaml-dev_1.5-2_powerpc.deb 30-Jul-2014 18:40 63428
libssreflect-ocaml-dev_1.5-2_ppc64el.deb 30-Jul-2014 18:41 63350
libssreflect-ocaml-dev_1.6.1-2_amd64.deb 30-Dec-2016 19:03 60520
libssreflect-ocaml-dev_1.6.1-2_arm64.deb 30-Dec-2016 19:03 60518
libssreflect-ocaml-dev_1.6.1-2_armhf.deb 30-Dec-2016 19:03 60526
libssreflect-ocaml-dev_1.6.1-2_i386.deb 30-Dec-2016 19:03 60524
libssreflect-ocaml-dev_1.6.1-2_ppc64el.deb 30-Dec-2016 19:03 60494
libssreflect-ocaml-dev_1.6.1-2_s390x.deb 30-Dec-2016 19:03 60492
libssreflect-ocaml-dev_1.6.1-2build4_amd64.deb 31-Aug-2017 02:03 60106
libssreflect-ocaml-dev_1.6.1-2build4_armhf.deb 31-Aug-2017 01:24 60110
libssreflect-ocaml-dev_1.6.1-2build4_i386.deb 31-Aug-2017 01:53 60108
libssreflect-ocaml-dev_1.6.1-2build4_ppc64el.deb 31-Aug-2017 01:24 60106
libssreflect-ocaml-dev_1.6.1-2build4_s390x.deb 31-Aug-2017 01:24 60104
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb 28-Oct-2017 17:03 60276
libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb 28-Oct-2017 17:44 60276
libssreflect-ocaml-dev_1.6.1-3build1_armhf.deb 28-Oct-2017 17:44 60272
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb 28-Oct-2017 17:03 60272
libssreflect-ocaml-dev_1.6.1-3build1_ppc64el.deb 28-Oct-2017 17:03 60276
libssreflect-ocaml-dev_1.6.1-3build1_s390x.deb 28-Oct-2017 17:04 60276
libssreflect-ocaml_1.2+dfsg-2_armel.deb 23-Nov-2009 19:12 158740
libssreflect-ocaml_1.2+dfsg-3build1_amd64.deb 06-Mar-2010 09:04 382940
libssreflect-ocaml_1.2+dfsg-3build1_i386.deb 06-Mar-2010 08:05 322446
libssreflect-ocaml_1.2+dfsg-3build1_ia64.deb 06-Mar-2010 11:04 96368
libssreflect-ocaml_1.2+dfsg-3build1_powerpc.deb 06-Mar-2010 09:04 409056
libssreflect-ocaml_1.2+dfsg-3build1_sparc.deb 06-Mar-2010 09:05 415428
libssreflect-ocaml_1.2+dfsg-6_amd64.deb 29-Jul-2010 15:07 377522
libssreflect-ocaml_1.2+dfsg-6_armel.deb 19-Sep-2010 14:05 97196
libssreflect-ocaml_1.2+dfsg-6_i386.deb 29-Jul-2010 12:05 316354
libssreflect-ocaml_1.2+dfsg-6_powerpc.deb 20-Sep-2010 13:32 403294
libssreflect-ocaml_1.3pl1-4build1_amd64.deb 25-Aug-2011 11:03 464038
libssreflect-ocaml_1.3pl1-4build1_armel.deb 25-Aug-2011 17:04 117260
libssreflect-ocaml_1.3pl1-4build1_i386.deb 25-Aug-2011 12:03 389750
libssreflect-ocaml_1.3pl1-4build1_powerpc.deb 25-Aug-2011 11:04 493566
libssreflect-ocaml_1.3pl2-2build1_amd64.deb 08-Jan-2012 15:33 471440
libssreflect-ocaml_1.3pl2-2build1_armel.deb 08-Jan-2012 15:33 119762
libssreflect-ocaml_1.3pl2-2build1_i386.deb 08-Jan-2012 16:03 396752
libssreflect-ocaml_1.3pl2-2build1_powerpc.deb 09-Jan-2012 00:33 505140
libssreflect-ocaml_1.3pl4-1_amd64.deb 10-Jun-2012 19:04 471102
libssreflect-ocaml_1.3pl4-1_armel.deb 10-Jun-2012 19:04 119946
libssreflect-ocaml_1.3pl4-1_i386.deb 10-Jun-2012 19:05 397646
libssreflect-ocaml_1.3pl4-1_powerpc.deb 12-Jun-2012 01:33 505792
libssreflect-ocaml_1.4-2_amd64.deb 09-May-2013 18:03 579882
libssreflect-ocaml_1.4-2_i386.deb 09-May-2013 18:33 488034
libssreflect-ocaml_1.4-2_powerpc.deb 09-May-2013 19:03 617524
libssreflect-ocaml_1.5-2_amd64.deb 30-Jul-2014 18:38 471586
libssreflect-ocaml_1.5-2_arm64.deb 30-Jul-2014 18:39 108892
libssreflect-ocaml_1.5-2_armhf.deb 30-Jul-2014 18:39 444392
libssreflect-ocaml_1.5-2_i386.deb 30-Jul-2014 18:40 408082
libssreflect-ocaml_1.5-2_powerpc.deb 30-Jul-2014 18:40 405194
libssreflect-ocaml_1.5-2_ppc64el.deb 30-Jul-2014 18:41 109378
libssreflect-ocaml_1.6.1-2_amd64.deb 30-Dec-2016 19:03 349860
libssreflect-ocaml_1.6.1-2_arm64.deb 30-Dec-2016 19:03 345066
libssreflect-ocaml_1.6.1-2_armhf.deb 30-Dec-2016 19:03 343750
libssreflect-ocaml_1.6.1-2_i386.deb 30-Dec-2016 19:03 314632
libssreflect-ocaml_1.6.1-2_ppc64el.deb 30-Dec-2016 19:03 90660
libssreflect-ocaml_1.6.1-2_s390x.deb 30-Dec-2016 19:03 90662
libssreflect-ocaml_1.6.1-2build4_amd64.deb 31-Aug-2017 02:03 396000
libssreflect-ocaml_1.6.1-2build4_armhf.deb 31-Aug-2017 01:24 424262
libssreflect-ocaml_1.6.1-2build4_i386.deb 31-Aug-2017 01:53 342546
libssreflect-ocaml_1.6.1-2build4_ppc64el.deb 31-Aug-2017 01:24 404726
libssreflect-ocaml_1.6.1-2build4_s390x.deb 31-Aug-2017 01:24 413638
libssreflect-ocaml_1.6.1-3build1_amd64.deb 28-Oct-2017 17:03 398912
libssreflect-ocaml_1.6.1-3build1_arm64.deb 28-Oct-2017 17:44 458856
libssreflect-ocaml_1.6.1-3build1_armhf.deb 28-Oct-2017 17:44 383532
libssreflect-ocaml_1.6.1-3build1_i386.deb 28-Oct-2017 17:03 348588
libssreflect-ocaml_1.6.1-3build1_ppc64el.deb 28-Oct-2017 17:03 417248
libssreflect-ocaml_1.6.1-3build1_s390x.deb 28-Oct-2017 17:04 418108
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.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.orig.tar.gz 05-Jul-2022 11:28 1359283
ssreflect_1.2+dfsg-3build1.debian.tar.gz 06-Mar-2010 08:04 12526
ssreflect_1.2+dfsg-3build1.dsc 06-Mar-2010 08:04 1806
ssreflect_1.2+dfsg-6.debian.tar.gz 29-Jul-2010 11:05 12593
ssreflect_1.2+dfsg-6.dsc 29-Jul-2010 11:05 1490
ssreflect_1.2+dfsg.orig.tar.gz 20-Nov-2009 20:04 332281
ssreflect_1.3pl1-4build1.debian.tar.gz 25-Aug-2011 11:03 12345
ssreflect_1.3pl1-4build1.dsc 25-Aug-2011 11:03 1497
ssreflect_1.3pl1.orig.tar.gz 30-Apr-2011 18:05 828876
ssreflect_1.3pl2-2build1.debian.tar.gz 08-Jan-2012 15:33 12862
ssreflect_1.3pl2-2build1.dsc 08-Jan-2012 15:33 2272
ssreflect_1.3pl2.orig.tar.gz 05-Dec-2011 12:07 834754
ssreflect_1.3pl4-1.debian.tar.gz 10-Jun-2012 17:04 12533
ssreflect_1.3pl4-1.dsc 10-Jun-2012 17:04 2250
ssreflect_1.3pl4.orig.tar.gz 10-Jun-2012 17:04 834512
ssreflect_1.4-2.debian.tar.gz 09-May-2013 17:33 12315
ssreflect_1.4-2.dsc 09-May-2013 17:33 2223
ssreflect_1.4.orig.tar.gz 09-May-2013 17:33 998638
ssreflect_1.5-2.debian.tar.xz 30-Jul-2014 17:44 11460
ssreflect_1.5-2.dsc 30-Jul-2014 17:44 2252
ssreflect_1.5.orig.tar.gz 26-Apr-2014 12:12 217833
ssreflect_1.6.1-2.debian.tar.xz 30-Dec-2016 17:13 12488
ssreflect_1.6.1-2.dsc 30-Dec-2016 17:13 2275
ssreflect_1.6.1-2build4.debian.tar.xz 31-Aug-2017 01:23 12668
ssreflect_1.6.1-2build4.dsc 31-Aug-2017 01:24 2032
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_1.9.0+dfsg-1.debian.tar.xz 21-Aug-2019 11:23 12324
ssreflect_1.9.0+dfsg-1.dsc 21-Aug-2019 11:23 2114
ssreflect_1.9.0+dfsg.orig.tar.gz 21-Aug-2019 11:23 4056166