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

Name Size Date
📁 ../ - -
📄 libcoq-mathcomp-algebra_1.14.0-7_all.deb 7358598 bytes 2022-02-17 09:11:09
📄 libcoq-mathcomp-algebra_2.1.0-1build4_arm64.deb 10320056 bytes 2024-04-08 16:14:50
📄 libcoq-mathcomp-algebra_2.1.0-1build4_armhf.deb 10321670 bytes 2024-04-08 16:14:59
📄 libcoq-mathcomp-algebra_2.1.0-1build4_ppc64el.deb 10320410 bytes 2024-04-08 16:15:21
📄 libcoq-mathcomp-algebra_2.1.0-1build4_riscv64.deb 10319808 bytes 2024-04-09 01:33:55
📄 libcoq-mathcomp-algebra_2.1.0-1build4_s390x.deb 10320036 bytes 2024-04-08 16:15:40
📄 libcoq-mathcomp-algebra_2.3.0-1build12_arm64.deb 13835772 bytes 2025-09-01 18:05:17
📄 libcoq-mathcomp-algebra_2.3.0-1build12_ppc64el.deb 13835898 bytes 2025-09-01 18:05:27
📄 libcoq-mathcomp-algebra_2.3.0-1build12_riscv64.deb 13837390 bytes 2025-09-02 16:05:24
📄 libcoq-mathcomp-algebra_2.3.0-1build12_s390x.deb 13838784 bytes 2025-09-01 18:05:45
📄 libcoq-mathcomp-algebra_2.3.0-1build16_arm64.deb 13835786 bytes 2025-11-06 16:52:26
📄 libcoq-mathcomp-algebra_2.3.0-1build16_ppc64el.deb 13835894 bytes 2025-11-06 16:53:02
📄 libcoq-mathcomp-algebra_2.3.0-1build16_riscv64.deb 13837442 bytes 2025-11-07 16:15:17
📄 libcoq-mathcomp-algebra_2.3.0-1build16_s390x.deb 13838652 bytes 2025-11-06 16:53:21
📄 libcoq-mathcomp-algebra_2.3.0-1build8_arm64.deb 13839754 bytes 2025-02-20 12:57:05
📄 libcoq-mathcomp-algebra_2.3.0-1build8_ppc64el.deb 13839732 bytes 2025-02-20 02:03:47
📄 libcoq-mathcomp-algebra_2.3.0-1build8_riscv64.deb 13841434 bytes 2025-02-20 15:56:25
📄 libcoq-mathcomp-algebra_2.3.0-1build8_s390x.deb 13845588 bytes 2025-02-20 02:04:38
📄 libcoq-mathcomp-character_1.14.0-7_all.deb 4591548 bytes 2022-02-17 09:11:09
📄 libcoq-mathcomp-character_2.1.0-1build4_arm64.deb 4414536 bytes 2024-04-08 16:14:50
📄 libcoq-mathcomp-character_2.1.0-1build4_armhf.deb 4413660 bytes 2024-04-08 16:14:58
📄 libcoq-mathcomp-character_2.1.0-1build4_ppc64el.deb 4414508 bytes 2024-04-08 16:15:21
📄 libcoq-mathcomp-character_2.1.0-1build4_riscv64.deb 4414568 bytes 2024-04-09 01:33:55
📄 libcoq-mathcomp-character_2.1.0-1build4_s390x.deb 4414516 bytes 2024-04-08 16:15:40
📄 libcoq-mathcomp-character_2.3.0-1build12_arm64.deb 4773548 bytes 2025-09-01 18:05:16
📄 libcoq-mathcomp-character_2.3.0-1build12_ppc64el.deb 4773594 bytes 2025-09-01 18:05:27
📄 libcoq-mathcomp-character_2.3.0-1build12_riscv64.deb 4773898 bytes 2025-09-02 16:05:23
📄 libcoq-mathcomp-character_2.3.0-1build12_s390x.deb 4773180 bytes 2025-09-01 18:05:43
📄 libcoq-mathcomp-character_2.3.0-1build16_arm64.deb 4773674 bytes 2025-11-06 16:52:26
📄 libcoq-mathcomp-character_2.3.0-1build16_ppc64el.deb 4773544 bytes 2025-11-06 16:53:02
📄 libcoq-mathcomp-character_2.3.0-1build16_riscv64.deb 4773902 bytes 2025-11-07 16:15:16
📄 libcoq-mathcomp-character_2.3.0-1build16_s390x.deb 4773178 bytes 2025-11-06 16:53:21
📄 libcoq-mathcomp-character_2.3.0-1build8_arm64.deb 4777902 bytes 2025-02-20 12:57:04
📄 libcoq-mathcomp-character_2.3.0-1build8_ppc64el.deb 4777732 bytes 2025-02-20 02:03:47
📄 libcoq-mathcomp-character_2.3.0-1build8_riscv64.deb 4777328 bytes 2025-02-20 15:56:25
📄 libcoq-mathcomp-character_2.3.0-1build8_s390x.deb 4778180 bytes 2025-02-20 02:04:38
📄 libcoq-mathcomp-field_1.14.0-7_all.deb 3177868 bytes 2022-02-17 09:11:09
📄 libcoq-mathcomp-field_2.1.0-1build4_arm64.deb 3394170 bytes 2024-04-08 16:14:50
📄 libcoq-mathcomp-field_2.1.0-1build4_armhf.deb 3395572 bytes 2024-04-08 16:14:58
📄 libcoq-mathcomp-field_2.1.0-1build4_ppc64el.deb 3394360 bytes 2024-04-08 16:15:21
📄 libcoq-mathcomp-field_2.1.0-1build4_riscv64.deb 3394140 bytes 2024-04-09 01:33:55
📄 libcoq-mathcomp-field_2.1.0-1build4_s390x.deb 3394204 bytes 2024-04-08 16:15:40
📄 libcoq-mathcomp-field_2.3.0-1build12_arm64.deb 3813700 bytes 2025-09-01 18:05:16
📄 libcoq-mathcomp-field_2.3.0-1build12_ppc64el.deb 3814720 bytes 2025-09-01 18:05:27
📄 libcoq-mathcomp-field_2.3.0-1build12_riscv64.deb 3813486 bytes 2025-09-02 16:05:22
📄 libcoq-mathcomp-field_2.3.0-1build12_s390x.deb 3813906 bytes 2025-09-01 18:05:43
📄 libcoq-mathcomp-field_2.3.0-1build16_arm64.deb 3814136 bytes 2025-11-06 16:52:26
📄 libcoq-mathcomp-field_2.3.0-1build16_ppc64el.deb 3814572 bytes 2025-11-06 16:53:01
📄 libcoq-mathcomp-field_2.3.0-1build16_riscv64.deb 3813250 bytes 2025-11-07 16:15:16
📄 libcoq-mathcomp-field_2.3.0-1build16_s390x.deb 3813982 bytes 2025-11-06 16:53:21
📄 libcoq-mathcomp-field_2.3.0-1build8_arm64.deb 3818612 bytes 2025-02-20 12:57:04
📄 libcoq-mathcomp-field_2.3.0-1build8_ppc64el.deb 3820082 bytes 2025-02-20 02:03:46
📄 libcoq-mathcomp-field_2.3.0-1build8_riscv64.deb 3818362 bytes 2025-02-20 15:56:25
📄 libcoq-mathcomp-field_2.3.0-1build8_s390x.deb 3818652 bytes 2025-02-20 02:04:37
📄 libcoq-mathcomp-fingroup_1.14.0-7_all.deb 2143514 bytes 2022-02-17 09:11:08
📄 libcoq-mathcomp-fingroup_2.1.0-1build4_arm64.deb 2233158 bytes 2024-04-08 16:14:50
📄 libcoq-mathcomp-fingroup_2.1.0-1build4_armhf.deb 2233190 bytes 2024-04-08 16:14:58
📄 libcoq-mathcomp-fingroup_2.1.0-1build4_ppc64el.deb 2233126 bytes 2024-04-08 16:15:21
📄 libcoq-mathcomp-fingroup_2.1.0-1build4_riscv64.deb 2233126 bytes 2024-04-09 01:33:55
📄 libcoq-mathcomp-fingroup_2.1.0-1build4_s390x.deb 2233136 bytes 2024-04-08 16:15:40
📄 libcoq-mathcomp-fingroup_2.3.0-1build12_arm64.deb 2543474 bytes 2025-09-01 18:05:16
📄 libcoq-mathcomp-fingroup_2.3.0-1build12_ppc64el.deb 2543520 bytes 2025-09-01 18:05:27
📄 libcoq-mathcomp-fingroup_2.3.0-1build12_riscv64.deb 2543658 bytes 2025-09-02 16:05:22
📄 libcoq-mathcomp-fingroup_2.3.0-1build12_s390x.deb 2543204 bytes 2025-09-01 18:05:43
📄 libcoq-mathcomp-fingroup_2.3.0-1build16_arm64.deb 2543376 bytes 2025-11-06 16:52:26
📄 libcoq-mathcomp-fingroup_2.3.0-1build16_ppc64el.deb 2543462 bytes 2025-11-06 16:53:01
📄 libcoq-mathcomp-fingroup_2.3.0-1build16_riscv64.deb 2543754 bytes 2025-11-07 16:15:16
📄 libcoq-mathcomp-fingroup_2.3.0-1build16_s390x.deb 2543196 bytes 2025-11-06 16:53:21
📄 libcoq-mathcomp-fingroup_2.3.0-1build8_arm64.deb 2546432 bytes 2025-02-20 12:57:04
📄 libcoq-mathcomp-fingroup_2.3.0-1build8_ppc64el.deb 2546452 bytes 2025-02-20 02:03:46
📄 libcoq-mathcomp-fingroup_2.3.0-1build8_riscv64.deb 2546334 bytes 2025-02-20 15:56:23
📄 libcoq-mathcomp-fingroup_2.3.0-1build8_s390x.deb 2546470 bytes 2025-02-20 02:04:37
📄 libcoq-mathcomp-solvable_1.14.0-7_all.deb 5269708 bytes 2022-02-17 09:11:08
📄 libcoq-mathcomp-solvable_2.1.0-1build4_arm64.deb 5236746 bytes 2024-04-08 16:14:50
📄 libcoq-mathcomp-solvable_2.1.0-1build4_armhf.deb 5237014 bytes 2024-04-08 16:14:58
📄 libcoq-mathcomp-solvable_2.1.0-1build4_ppc64el.deb 5237074 bytes 2024-04-08 16:15:21
📄 libcoq-mathcomp-solvable_2.1.0-1build4_riscv64.deb 5236944 bytes 2024-04-09 01:33:55
📄 libcoq-mathcomp-solvable_2.1.0-1build4_s390x.deb 5236772 bytes 2024-04-08 16:15:40
📄 libcoq-mathcomp-solvable_2.3.0-1build12_arm64.deb 5434900 bytes 2025-09-01 18:05:16
📄 libcoq-mathcomp-solvable_2.3.0-1build12_ppc64el.deb 5434750 bytes 2025-09-01 18:05:27
📄 libcoq-mathcomp-solvable_2.3.0-1build12_riscv64.deb 5434618 bytes 2025-09-02 16:05:21
📄 libcoq-mathcomp-solvable_2.3.0-1build12_s390x.deb 5434848 bytes 2025-09-01 18:05:42
📄 libcoq-mathcomp-solvable_2.3.0-1build16_arm64.deb 5434976 bytes 2025-11-06 16:52:26
📄 libcoq-mathcomp-solvable_2.3.0-1build16_ppc64el.deb 5434898 bytes 2025-11-06 16:53:01
📄 libcoq-mathcomp-solvable_2.3.0-1build16_riscv64.deb 5434652 bytes 2025-11-07 16:15:16
📄 libcoq-mathcomp-solvable_2.3.0-1build16_s390x.deb 5434866 bytes 2025-11-06 16:53:21
📄 libcoq-mathcomp-solvable_2.3.0-1build8_arm64.deb 5436984 bytes 2025-02-20 12:57:03
📄 libcoq-mathcomp-solvable_2.3.0-1build8_ppc64el.deb 5437042 bytes 2025-02-20 02:03:46
📄 libcoq-mathcomp-solvable_2.3.0-1build8_riscv64.deb 5436752 bytes 2025-02-20 15:56:22
📄 libcoq-mathcomp-solvable_2.3.0-1build8_s390x.deb 5436908 bytes 2025-02-20 02:04:37
📄 libcoq-mathcomp-ssreflect_1.14.0-7_all.deb 4699482 bytes 2022-02-17 09:11:08
📄 libcoq-mathcomp-ssreflect_2.1.0-1build4_arm64.deb 6618920 bytes 2024-04-08 16:14:50
📄 libcoq-mathcomp-ssreflect_2.1.0-1build4_armhf.deb 6618814 bytes 2024-04-08 16:14:58
📄 libcoq-mathcomp-ssreflect_2.1.0-1build4_ppc64el.deb 6619036 bytes 2024-04-08 16:15:21
📄 libcoq-mathcomp-ssreflect_2.1.0-1build4_riscv64.deb 6618934 bytes 2024-04-09 01:33:55
📄 libcoq-mathcomp-ssreflect_2.1.0-1build4_s390x.deb 6619050 bytes 2024-04-08 16:15:40
📄 libcoq-mathcomp-ssreflect_2.3.0-1build12_arm64.deb 9495190 bytes 2025-09-01 18:05:16
📄 libcoq-mathcomp-ssreflect_2.3.0-1build12_ppc64el.deb 9501546 bytes 2025-09-01 18:05:27
📄 libcoq-mathcomp-ssreflect_2.3.0-1build12_riscv64.deb 9497158 bytes 2025-09-02 16:05:21
📄 libcoq-mathcomp-ssreflect_2.3.0-1build12_s390x.deb 9495264 bytes 2025-09-01 18:05:42
📄 libcoq-mathcomp-ssreflect_2.3.0-1build16_arm64.deb 9495298 bytes 2025-11-06 16:52:26
📄 libcoq-mathcomp-ssreflect_2.3.0-1build16_ppc64el.deb 9501938 bytes 2025-11-06 16:53:01
📄 libcoq-mathcomp-ssreflect_2.3.0-1build16_riscv64.deb 9497296 bytes 2025-11-07 16:15:15
📄 libcoq-mathcomp-ssreflect_2.3.0-1build16_s390x.deb 9495132 bytes 2025-11-06 16:53:21
📄 libcoq-mathcomp-ssreflect_2.3.0-1build8_arm64.deb 9503010 bytes 2025-02-20 12:57:03
📄 libcoq-mathcomp-ssreflect_2.3.0-1build8_ppc64el.deb 9501050 bytes 2025-02-20 02:03:46
📄 libcoq-mathcomp-ssreflect_2.3.0-1build8_riscv64.deb 9503424 bytes 2025-02-20 15:56:21
📄 libcoq-mathcomp-ssreflect_2.3.0-1build8_s390x.deb 9503062 bytes 2025-02-20 02:04:37
📄 libcoq-mathcomp_1.14.0-7_all.deb 2653510 bytes 2022-02-17 09:11:09
📄 libcoq-mathcomp_2.1.0-1build4_arm64.deb 2465114 bytes 2024-04-08 16:14:50
📄 libcoq-mathcomp_2.1.0-1build4_armhf.deb 2465174 bytes 2024-04-08 16:14:59
📄 libcoq-mathcomp_2.1.0-1build4_ppc64el.deb 2465080 bytes 2024-04-08 16:15:21
📄 libcoq-mathcomp_2.1.0-1build4_riscv64.deb 2465158 bytes 2024-04-09 01:33:55
📄 libcoq-mathcomp_2.1.0-1build4_s390x.deb 2465712 bytes 2024-04-08 16:15:40
📄 libcoq-mathcomp_2.3.0-1build12_arm64.deb 2614834 bytes 2025-09-01 18:05:17
📄 libcoq-mathcomp_2.3.0-1build12_ppc64el.deb 2615560 bytes 2025-09-01 18:05:28
📄 libcoq-mathcomp_2.3.0-1build12_riscv64.deb 2616792 bytes 2025-09-02 16:05:24
📄 libcoq-mathcomp_2.3.0-1build12_s390x.deb 2616630 bytes 2025-09-01 18:05:45
📄 libcoq-mathcomp_2.3.0-1build16_arm64.deb 2616692 bytes 2025-11-06 16:52:27
📄 libcoq-mathcomp_2.3.0-1build16_ppc64el.deb 2614694 bytes 2025-11-06 16:53:02
📄 libcoq-mathcomp_2.3.0-1build16_riscv64.deb 2614642 bytes 2025-11-07 16:15:17
📄 libcoq-mathcomp_2.3.0-1build16_s390x.deb 2614964 bytes 2025-11-06 16:53:22
📄 libcoq-mathcomp_2.3.0-1build8_arm64.deb 2611578 bytes 2025-02-20 12:57:05
📄 libcoq-mathcomp_2.3.0-1build8_ppc64el.deb 2610728 bytes 2025-02-20 02:03:47
📄 libcoq-mathcomp_2.3.0-1build8_riscv64.deb 2610110 bytes 2025-02-20 15:56:25
📄 libcoq-mathcomp_2.3.0-1build8_s390x.deb 2611532 bytes 2025-02-20 02:04:38
📄 libssreflect-coq_1.10.0+dfsg-2_all.deb 25950760 bytes 2020-03-19 12:23:21
📄 libssreflect-coq_1.5-3build1_all.deb 1193480 bytes 2015-11-05 06:58:51
📄 libssreflect-coq_1.5~rc1-3_all.deb 1188156 bytes 2014-01-21 09:53:50
📄 libssreflect-coq_1.6.1-3build1_all.deb 24199944 bytes 2017-10-28 20:03:39
📄 libssreflect-ocaml-dev_1.5-3build1_arm64.deb 64046 bytes 2015-11-05 07:13:51
📄 libssreflect-ocaml-dev_1.5-3build1_armhf.deb 64094 bytes 2015-11-05 07:13:52
📄 libssreflect-ocaml-dev_1.5-3build1_powerpc.deb 64032 bytes 2015-11-05 06:59:15
📄 libssreflect-ocaml-dev_1.5-3build1_ppc64el.deb 63952 bytes 2015-11-05 06:59:16
📄 libssreflect-ocaml-dev_1.5-3build1_s390x.deb 63974 bytes 2016-01-05 20:05:05
📄 libssreflect-ocaml-dev_1.5~rc1-3_arm64.deb 61644 bytes 2014-01-21 10:33:53
📄 libssreflect-ocaml-dev_1.5~rc1-3_armhf.deb 61584 bytes 2014-01-21 09:29:05
📄 libssreflect-ocaml-dev_1.5~rc1-3_powerpc.deb 61724 bytes 2014-01-21 09:54:08
📄 libssreflect-ocaml-dev_1.5~rc1-3_ppc64el.deb 61566 bytes 2014-02-18 14:55:16
📄 libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb 60276 bytes 2017-10-28 20:44:09
📄 libssreflect-ocaml-dev_1.6.1-3build1_armhf.deb 60272 bytes 2017-10-28 20:44:11
📄 libssreflect-ocaml-dev_1.6.1-3build1_ppc64el.deb 60276 bytes 2017-10-28 20:03:54
📄 libssreflect-ocaml-dev_1.6.1-3build1_s390x.deb 60276 bytes 2017-10-28 20:04:02
📄 libssreflect-ocaml_1.5-3build1_arm64.deb 409918 bytes 2015-11-05 07:13:51
📄 libssreflect-ocaml_1.5-3build1_armhf.deb 426700 bytes 2015-11-05 07:13:52
📄 libssreflect-ocaml_1.5-3build1_powerpc.deb 387272 bytes 2015-11-05 06:59:14
📄 libssreflect-ocaml_1.5-3build1_ppc64el.deb 109560 bytes 2015-11-05 06:59:16
📄 libssreflect-ocaml_1.5-3build1_s390x.deb 109458 bytes 2016-01-05 20:05:06
📄 libssreflect-ocaml_1.5~rc1-3_arm64.deb 105248 bytes 2014-01-21 10:33:53
📄 libssreflect-ocaml_1.5~rc1-3_armhf.deb 426058 bytes 2014-01-21 09:29:05
📄 libssreflect-ocaml_1.5~rc1-3_powerpc.deb 385546 bytes 2014-01-21 09:54:08
📄 libssreflect-ocaml_1.5~rc1-3_ppc64el.deb 104842 bytes 2014-02-18 14:55:16
📄 libssreflect-ocaml_1.6.1-3build1_arm64.deb 458856 bytes 2017-10-28 20:44:09
📄 libssreflect-ocaml_1.6.1-3build1_armhf.deb 383532 bytes 2017-10-28 20:44:12
📄 libssreflect-ocaml_1.6.1-3build1_ppc64el.deb 417248 bytes 2017-10-28 20:03:54
📄 libssreflect-ocaml_1.6.1-3build1_s390x.deb 418108 bytes 2017-10-28 20:04:02
📄 ssreflect_1.10.0+dfsg-2.debian.tar.xz 12676 bytes 2020-03-19 11:48:16
📄 ssreflect_1.10.0+dfsg-2.dsc 2129 bytes 2020-03-19 11:48:16
📄 ssreflect_1.10.0+dfsg.orig.tar.gz 1218046 bytes 2019-12-06 20:38:37
📄 ssreflect_1.14.0-7.debian.tar.xz 12372 bytes 2022-02-17 09:10:21
📄 ssreflect_1.14.0-7.dsc 2580 bytes 2022-02-17 09:10:21
📄 ssreflect_1.14.0.orig.tar.gz 1352989 bytes 2022-01-25 02:34:30
📄 ssreflect_1.5-3build1.debian.tar.xz 11592 bytes 2015-11-05 06:48:45
📄 ssreflect_1.5-3build1.dsc 1911 bytes 2015-11-05 06:48:44
📄 ssreflect_1.5.orig.tar.gz 217833 bytes 2014-04-26 16:12:50
📄 ssreflect_1.5~rc1-3.debian.tar.xz 11448 bytes 2014-01-21 09:18:33
📄 ssreflect_1.5~rc1-3.dsc 2240 bytes 2014-01-21 09:18:33
📄 ssreflect_1.5~rc1.orig.tar.gz 203960 bytes 2013-12-06 21:23:26
📄 ssreflect_1.6.1-3build1.debian.tar.xz 12572 bytes 2017-10-28 19:19:09
📄 ssreflect_1.6.1-3build1.dsc 2281 bytes 2017-10-28 19:19:09
📄 ssreflect_1.6.1.orig.tar.gz 4691532 bytes 2016-12-30 20:13:14
📄 ssreflect_2.1.0-1build4.debian.tar.xz 12836 bytes 2024-04-01 08:44:06
📄 ssreflect_2.1.0-1build4.dsc 2700 bytes 2024-04-01 08:44:06
📄 ssreflect_2.1.0.orig.tar.gz 1835482 bytes 2023-12-24 20:26:55
📄 ssreflect_2.3.0-1build12.debian.tar.xz 13040 bytes 2025-09-01 10:26:43
📄 ssreflect_2.3.0-1build12.dsc 2704 bytes 2025-09-01 10:26:43
📄 ssreflect_2.3.0-1build16.debian.tar.xz 13072 bytes 2025-11-06 12:20:08
📄 ssreflect_2.3.0-1build16.dsc 2625 bytes 2025-11-06 12:20:08
📄 ssreflect_2.3.0-1build8.debian.tar.xz 12928 bytes 2025-02-20 02:00:11
📄 ssreflect_2.3.0-1build8.dsc 2725 bytes 2025-02-20 02:00:11
📄 ssreflect_2.3.0.orig.tar.gz 1880788 bytes 2024-12-19 02:41:28