Index of /ubuntu-ports/pool/universe/s/ssreflect/

/ubuntu-ports/pool/universe/s/ssreflect/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ssreflect_1.5~rc1.orig.tar.gz199.2 KiB2013-12-06T17:23Z
ssreflect_1.5~rc1-3.dsc2.2 KiB2014-01-21T05:18Z
ssreflect_1.5~rc1-3.debian.tar.xz11.2 KiB2014-01-21T05:18Z
libssreflect-ocaml_1.5~rc1-3_armhf.deb416.1 KiB2014-01-21T05:29Z
libssreflect-ocaml-dev_1.5~rc1-3_armhf.deb60.1 KiB2014-01-21T05:29Z
libssreflect-coq_1.5~rc1-3_all.deb1.1 MiB2014-01-21T05:53Z
libssreflect-ocaml-dev_1.5~rc1-3_powerpc.deb60.3 KiB2014-01-21T05:54Z
libssreflect-ocaml_1.5~rc1-3_powerpc.deb376.5 KiB2014-01-21T05:54Z
libssreflect-ocaml-dev_1.5~rc1-3_arm64.deb60.2 KiB2014-01-21T06:33Z
libssreflect-ocaml_1.5~rc1-3_arm64.deb102.8 KiB2014-01-21T06:33Z
libssreflect-ocaml_1.5~rc1-3_ppc64el.deb102.4 KiB2014-02-18T10:55Z
libssreflect-ocaml-dev_1.5~rc1-3_ppc64el.deb60.1 KiB2014-02-18T10:55Z
ssreflect_1.5.orig.tar.gz212.7 KiB2014-04-26T12:12Z
ssreflect_1.5-3build1.dsc1.9 KiB2015-11-05T03:48Z
ssreflect_1.5-3build1.debian.tar.xz11.3 KiB2015-11-05T03:48Z
libssreflect-coq_1.5-3build1_all.deb1.1 MiB2015-11-05T03:58Z
libssreflect-ocaml_1.5-3build1_powerpc.deb378.2 KiB2015-11-05T03:59Z
libssreflect-ocaml-dev_1.5-3build1_powerpc.deb62.5 KiB2015-11-05T03:59Z
libssreflect-ocaml-dev_1.5-3build1_ppc64el.deb62.5 KiB2015-11-05T03:59Z
libssreflect-ocaml_1.5-3build1_ppc64el.deb107.0 KiB2015-11-05T03:59Z
libssreflect-ocaml_1.5-3build1_arm64.deb400.3 KiB2015-11-05T04:13Z
libssreflect-ocaml-dev_1.5-3build1_arm64.deb62.5 KiB2015-11-05T04:13Z
libssreflect-ocaml-dev_1.5-3build1_armhf.deb62.6 KiB2015-11-05T04:13Z
libssreflect-ocaml_1.5-3build1_armhf.deb416.7 KiB2015-11-05T04:13Z
libssreflect-ocaml-dev_1.5-3build1_s390x.deb62.5 KiB2016-01-05T17:05Z
libssreflect-ocaml_1.5-3build1_s390x.deb106.9 KiB2016-01-05T17:05Z
ssreflect_1.6.1.orig.tar.gz4.5 MiB2016-12-30T17:13Z
ssreflect_1.6.1-3build1.debian.tar.xz12.3 KiB2017-10-28T16:19Z
ssreflect_1.6.1-3build1.dsc2.2 KiB2017-10-28T16:19Z
libssreflect-coq_1.6.1-3build1_all.deb23.1 MiB2017-10-28T17:03Z
libssreflect-ocaml_1.6.1-3build1_ppc64el.deb407.5 KiB2017-10-28T17:03Z
libssreflect-ocaml-dev_1.6.1-3build1_ppc64el.deb58.9 KiB2017-10-28T17:03Z
libssreflect-ocaml_1.6.1-3build1_s390x.deb408.3 KiB2017-10-28T17:04Z
libssreflect-ocaml-dev_1.6.1-3build1_s390x.deb58.9 KiB2017-10-28T17:04Z
libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb58.9 KiB2017-10-28T17:44Z
libssreflect-ocaml_1.6.1-3build1_arm64.deb448.1 KiB2017-10-28T17:44Z
libssreflect-ocaml-dev_1.6.1-3build1_armhf.deb58.9 KiB2017-10-28T17:44Z
libssreflect-ocaml_1.6.1-3build1_armhf.deb374.5 KiB2017-10-28T17:44Z
ssreflect_1.10.0+dfsg.orig.tar.gz1.2 MiB2019-12-06T17:38Z
ssreflect_1.10.0+dfsg-2.debian.tar.xz12.4 KiB2020-03-19T08:48Z
ssreflect_1.10.0+dfsg-2.dsc2.1 KiB2020-03-19T08:48Z
libssreflect-coq_1.10.0+dfsg-2_all.deb24.7 MiB2020-03-19T09:23Z
ssreflect_1.14.0.orig.tar.gz1.3 MiB2022-01-24T23:34Z
ssreflect_1.14.0-7.debian.tar.xz12.1 KiB2022-02-17T06:10Z
ssreflect_1.14.0-7.dsc2.5 KiB2022-02-17T06:10Z
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb4.5 MiB2022-02-17T06:11Z
libcoq-mathcomp-solvable_1.14.0-7_all.deb5.0 MiB2022-02-17T06:11Z
libcoq-mathcomp-fingroup_1.14.0-7_all.deb2.0 MiB2022-02-17T06:11Z
libcoq-mathcomp-character_1.14.0-7_all.deb4.4 MiB2022-02-17T06:11Z
libcoq-mathcomp_1.14.0-7_all.deb2.5 MiB2022-02-17T06:11Z
libcoq-mathcomp-algebra_1.14.0-7_all.deb7.0 MiB2022-02-17T06:11Z
libcoq-mathcomp-field_1.14.0-7_all.deb3.0 MiB2022-02-17T06:11Z
ssreflect_2.1.0.orig.tar.gz1.8 MiB2023-12-24T17:26Z
ssreflect_2.1.0-1build4.dsc2.6 KiB2024-04-01T05:44Z
ssreflect_2.1.0-1build4.debian.tar.xz12.5 KiB2024-04-01T05:44Z
libcoq-mathcomp-character_2.1.0-1build4_arm64.deb4.2 MiB2024-04-08T13:14Z
libcoq-mathcomp-fingroup_2.1.0-1build4_arm64.deb2.1 MiB2024-04-08T13:14Z
libcoq-mathcomp-algebra_2.1.0-1build4_arm64.deb9.8 MiB2024-04-08T13:14Z
libcoq-mathcomp-solvable_2.1.0-1build4_arm64.deb5.0 MiB2024-04-08T13:14Z
libcoq-mathcomp-ssreflect_2.1.0-1build4_arm64.deb6.3 MiB2024-04-08T13:14Z
libcoq-mathcomp_2.1.0-1build4_arm64.deb2.4 MiB2024-04-08T13:14Z
libcoq-mathcomp-field_2.1.0-1build4_arm64.deb3.2 MiB2024-04-08T13:14Z
libcoq-mathcomp-character_2.1.0-1build4_armhf.deb4.2 MiB2024-04-08T13:14Z
libcoq-mathcomp-ssreflect_2.1.0-1build4_armhf.deb6.3 MiB2024-04-08T13:14Z
libcoq-mathcomp-field_2.1.0-1build4_armhf.deb3.2 MiB2024-04-08T13:14Z
libcoq-mathcomp-solvable_2.1.0-1build4_armhf.deb5.0 MiB2024-04-08T13:14Z
libcoq-mathcomp-fingroup_2.1.0-1build4_armhf.deb2.1 MiB2024-04-08T13:14Z
libcoq-mathcomp-algebra_2.1.0-1build4_armhf.deb9.8 MiB2024-04-08T13:14Z
libcoq-mathcomp_2.1.0-1build4_armhf.deb2.4 MiB2024-04-08T13:14Z
libcoq-mathcomp-fingroup_2.1.0-1build4_ppc64el.deb2.1 MiB2024-04-08T13:15Z
libcoq-mathcomp-algebra_2.1.0-1build4_ppc64el.deb9.8 MiB2024-04-08T13:15Z
libcoq-mathcomp-solvable_2.1.0-1build4_ppc64el.deb5.0 MiB2024-04-08T13:15Z
libcoq-mathcomp_2.1.0-1build4_ppc64el.deb2.4 MiB2024-04-08T13:15Z
libcoq-mathcomp-field_2.1.0-1build4_ppc64el.deb3.2 MiB2024-04-08T13:15Z
libcoq-mathcomp-character_2.1.0-1build4_ppc64el.deb4.2 MiB2024-04-08T13:15Z
libcoq-mathcomp-ssreflect_2.1.0-1build4_ppc64el.deb6.3 MiB2024-04-08T13:15Z
libcoq-mathcomp-fingroup_2.1.0-1build4_s390x.deb2.1 MiB2024-04-08T13:15Z
libcoq-mathcomp-solvable_2.1.0-1build4_s390x.deb5.0 MiB2024-04-08T13:15Z
libcoq-mathcomp-algebra_2.1.0-1build4_s390x.deb9.8 MiB2024-04-08T13:15Z
libcoq-mathcomp-ssreflect_2.1.0-1build4_s390x.deb6.3 MiB2024-04-08T13:15Z
libcoq-mathcomp_2.1.0-1build4_s390x.deb2.4 MiB2024-04-08T13:15Z
libcoq-mathcomp-character_2.1.0-1build4_s390x.deb4.2 MiB2024-04-08T13:15Z
libcoq-mathcomp-field_2.1.0-1build4_s390x.deb3.2 MiB2024-04-08T13:15Z
libcoq-mathcomp-solvable_2.1.0-1build4_riscv64.deb5.0 MiB2024-04-08T22:33Z
libcoq-mathcomp-fingroup_2.1.0-1build4_riscv64.deb2.1 MiB2024-04-08T22:33Z
libcoq-mathcomp-algebra_2.1.0-1build4_riscv64.deb9.8 MiB2024-04-08T22:33Z
libcoq-mathcomp_2.1.0-1build4_riscv64.deb2.4 MiB2024-04-08T22:33Z
libcoq-mathcomp-ssreflect_2.1.0-1build4_riscv64.deb6.3 MiB2024-04-08T22:33Z
libcoq-mathcomp-field_2.1.0-1build4_riscv64.deb3.2 MiB2024-04-08T22:33Z
libcoq-mathcomp-character_2.1.0-1build4_riscv64.deb4.2 MiB2024-04-08T22:33Z
ssreflect_2.2.0.orig.tar.gz1.8 MiB2024-05-03T02:35Z
ssreflect_2.2.0-2build6.debian.tar.xz12.5 KiB2024-09-17T15:51Z
ssreflect_2.2.0-2build6.dsc2.6 KiB2024-09-17T15:51Z
libcoq-mathcomp-ssreflect_2.2.0-2build6_arm64.deb6.6 MiB2024-09-19T21:54Z
libcoq-mathcomp-solvable_2.2.0-2build6_arm64.deb5.0 MiB2024-09-19T21:54Z
libcoq-mathcomp-field_2.2.0-2build6_arm64.deb3.5 MiB2024-09-19T21:54Z
libcoq-mathcomp_2.2.0-2build6_arm64.deb2.3 MiB2024-09-19T21:54Z
libcoq-mathcomp-fingroup_2.2.0-2build6_arm64.deb2.3 MiB2024-09-19T21:54Z
libcoq-mathcomp-algebra_2.2.0-2build6_arm64.deb10.9 MiB2024-09-19T21:54Z
libcoq-mathcomp-character_2.2.0-2build6_arm64.deb4.5 MiB2024-09-19T21:54Z
libcoq-mathcomp-fingroup_2.2.0-2build6_s390x.deb2.3 MiB2024-09-19T21:54Z
libcoq-mathcomp-ssreflect_2.2.0-2build6_s390x.deb6.6 MiB2024-09-19T21:54Z
libcoq-mathcomp-solvable_2.2.0-2build6_s390x.deb5.0 MiB2024-09-19T21:54Z
libcoq-mathcomp-character_2.2.0-2build6_s390x.deb4.5 MiB2024-09-19T21:54Z
libcoq-mathcomp-algebra_2.2.0-2build6_s390x.deb10.9 MiB2024-09-19T21:54Z
libcoq-mathcomp-field_2.2.0-2build6_s390x.deb3.5 MiB2024-09-19T21:54Z
libcoq-mathcomp_2.2.0-2build6_s390x.deb2.3 MiB2024-09-19T21:54Z
libcoq-mathcomp-solvable_2.2.0-2build6_ppc64el.deb5.0 MiB2024-09-19T22:50Z
libcoq-mathcomp-fingroup_2.2.0-2build6_ppc64el.deb2.3 MiB2024-09-19T22:50Z
libcoq-mathcomp-character_2.2.0-2build6_ppc64el.deb4.5 MiB2024-09-19T22:50Z
libcoq-mathcomp-field_2.2.0-2build6_ppc64el.deb3.5 MiB2024-09-19T22:50Z
libcoq-mathcomp_2.2.0-2build6_ppc64el.deb2.3 MiB2024-09-19T22:50Z
libcoq-mathcomp-algebra_2.2.0-2build6_ppc64el.deb10.9 MiB2024-09-19T22:50Z
libcoq-mathcomp-ssreflect_2.2.0-2build6_ppc64el.deb6.6 MiB2024-09-19T22:50Z
libcoq-mathcomp-ssreflect_2.2.0-2build6_riscv64.deb6.6 MiB2024-09-20T06:58Z
libcoq-mathcomp-fingroup_2.2.0-2build6_riscv64.deb2.3 MiB2024-09-20T06:58Z
libcoq-mathcomp-algebra_2.2.0-2build6_riscv64.deb10.9 MiB2024-09-20T06:58Z
libcoq-mathcomp-solvable_2.2.0-2build6_riscv64.deb5.0 MiB2024-09-20T06:58Z
libcoq-mathcomp-field_2.2.0-2build6_riscv64.deb3.5 MiB2024-09-20T06:58Z
libcoq-mathcomp-character_2.2.0-2build6_riscv64.deb4.5 MiB2024-09-20T06:58Z
libcoq-mathcomp_2.2.0-2build6_riscv64.deb2.3 MiB2024-09-20T06:58Z
ssreflect_2.3.0.orig.tar.gz1.8 MiB2024-12-18T23:41Z
ssreflect_2.3.0-1build1.dsc2.6 KiB2024-12-20T04:00Z
ssreflect_2.3.0-1build1.debian.tar.xz12.4 KiB2024-12-20T04:00Z
libcoq-mathcomp-ssreflect_2.3.0-1build1_arm64.deb9.1 MiB2024-12-20T05:02Z
libcoq-mathcomp-fingroup_2.3.0-1build1_arm64.deb2.4 MiB2024-12-20T05:02Z
libcoq-mathcomp-character_2.3.0-1build1_arm64.deb4.6 MiB2024-12-20T05:02Z
libcoq-mathcomp-solvable_2.3.0-1build1_arm64.deb5.2 MiB2024-12-20T05:02Z
libcoq-mathcomp-field_2.3.0-1build1_arm64.deb3.7 MiB2024-12-20T05:02Z
libcoq-mathcomp-algebra_2.3.0-1build1_arm64.deb13.4 MiB2024-12-20T05:02Z
libcoq-mathcomp_2.3.0-1build1_arm64.deb2.5 MiB2024-12-20T05:02Z
libcoq-mathcomp-solvable_2.3.0-1build1_ppc64el.deb5.2 MiB2024-12-20T05:02Z
libcoq-mathcomp-ssreflect_2.3.0-1build1_ppc64el.deb9.1 MiB2024-12-20T05:02Z
libcoq-mathcomp-fingroup_2.3.0-1build1_ppc64el.deb2.4 MiB2024-12-20T05:02Z
libcoq-mathcomp-field_2.3.0-1build1_ppc64el.deb3.7 MiB2024-12-20T05:02Z
libcoq-mathcomp-character_2.3.0-1build1_ppc64el.deb4.6 MiB2024-12-20T05:02Z
libcoq-mathcomp_2.3.0-1build1_ppc64el.deb2.5 MiB2024-12-20T05:02Z
libcoq-mathcomp-algebra_2.3.0-1build1_ppc64el.deb13.3 MiB2024-12-20T05:02Z
libcoq-mathcomp-ssreflect_2.3.0-1build1_s390x.deb9.1 MiB2024-12-20T05:02Z
libcoq-mathcomp-solvable_2.3.0-1build1_s390x.deb5.2 MiB2024-12-20T05:02Z
libcoq-mathcomp_2.3.0-1build1_s390x.deb2.5 MiB2024-12-20T05:02Z
libcoq-mathcomp-algebra_2.3.0-1build1_s390x.deb13.4 MiB2024-12-20T05:02Z
libcoq-mathcomp-fingroup_2.3.0-1build1_s390x.deb2.4 MiB2024-12-20T05:02Z
libcoq-mathcomp-character_2.3.0-1build1_s390x.deb4.6 MiB2024-12-20T05:02Z
libcoq-mathcomp-field_2.3.0-1build1_s390x.deb3.7 MiB2024-12-20T05:02Z
libcoq-mathcomp-field_2.3.0-1build1_riscv64.deb3.7 MiB2024-12-20T13:12Z
libcoq-mathcomp-ssreflect_2.3.0-1build1_riscv64.deb9.1 MiB2024-12-20T13:12Z
libcoq-mathcomp-fingroup_2.3.0-1build1_riscv64.deb2.4 MiB2024-12-20T13:12Z
libcoq-mathcomp-solvable_2.3.0-1build1_riscv64.deb5.2 MiB2024-12-20T13:12Z
libcoq-mathcomp-algebra_2.3.0-1build1_riscv64.deb13.4 MiB2024-12-20T13:12Z
libcoq-mathcomp_2.3.0-1build1_riscv64.deb2.5 MiB2024-12-20T13:12Z
libcoq-mathcomp-character_2.3.0-1build1_riscv64.deb4.6 MiB2024-12-20T13:12Z

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

cube github