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

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

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

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