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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ssreflect_1.5-3build1.dsc 19112015-Nov-05 12:48
ssreflect_1.10.0+dfsg-2.dsc 21292020-Mar-19 17:48
ssreflect_1.5~rc1-3.dsc 22402014-Jan-21 14:18
ssreflect_1.6.1-3build1.dsc 22812017-Oct-29 01:19
ssreflect_1.14.0-7.dsc 25802022-Feb-17 15:10
ssreflect_2.3.0-1build19.dsc 26252026-Mar-05 17:48
ssreflect_2.1.0-1build4.dsc 27002024-Apr-01 14:44
ssreflect_2.3.0-1build12.dsc 27042025-Sep-01 16:26
ssreflect_2.3.0-1build8.dsc 27252025-Feb-20 08:00
ssreflect_2.6.0-3build2.dsc 29112026-Sep-19 22:43
libcoq-mathcomp-ssreflect_2.6.0-3build2_s390x.deb 101422026-Sep-19 23:03
libcoq-mathcomp-ssreflect_2.6.0-3build2_arm64.deb 101462026-Sep-19 23:23
libcoq-mathcomp-ssreflect_2.6.0-3build2_riscv64.deb 101502026-Sep-20 13:03
libcoq-mathcomp-ssreflect_2.6.0-3build2_ppc64el.deb 101522026-Sep-19 23:23
ssreflect_1.5~rc1-3.debian.tar.xz 114482014-Jan-21 14:18
ssreflect_1.5-3build1.debian.tar.xz 115922015-Nov-05 12:48
libcoq-mathcomp_2.6.0-3build2_ppc64el.deb 118442026-Sep-19 23:23
libcoq-mathcomp_2.6.0-3build2_s390x.deb 118442026-Sep-19 23:03
libcoq-mathcomp_2.6.0-3build2_riscv64.deb 118482026-Sep-20 13:03
libcoq-mathcomp_2.6.0-3build2_arm64.deb 118542026-Sep-19 23:23
ssreflect_1.14.0-7.debian.tar.xz 123722022-Feb-17 15:10
ssreflect_1.6.1-3build1.debian.tar.xz 125722017-Oct-29 01:19
ssreflect_1.10.0+dfsg-2.debian.tar.xz 126762020-Mar-19 17:48
ssreflect_2.1.0-1build4.debian.tar.xz 128362024-Apr-01 14:44
ssreflect_2.3.0-1build8.debian.tar.xz 129282025-Feb-20 08:00
ssreflect_2.3.0-1build12.debian.tar.xz 130402025-Sep-01 16:26
ssreflect_2.3.0-1build19.debian.tar.xz 131482026-Mar-05 17:48
ssreflect_2.6.0-3build2.debian.tar.xz 133762026-Sep-19 22:43
libssreflect-ocaml-dev_1.6.1-3build1_armhf.deb 602722017-Oct-29 02:44
libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb 602762017-Oct-29 02:44
libssreflect-ocaml-dev_1.6.1-3build1_ppc64el.deb 602762017-Oct-29 02:03
libssreflect-ocaml-dev_1.6.1-3build1_s390x.deb 602762017-Oct-29 02:04
libssreflect-ocaml-dev_1.5~rc1-3_ppc64el.deb 615662014-Feb-18 19:55
libssreflect-ocaml-dev_1.5~rc1-3_armhf.deb 615842014-Jan-21 14:29
libssreflect-ocaml-dev_1.5~rc1-3_arm64.deb 616442014-Jan-21 15:33
libssreflect-ocaml-dev_1.5~rc1-3_powerpc.deb 617242014-Jan-21 14:54
libssreflect-ocaml-dev_1.5-3build1_ppc64el.deb 639522015-Nov-05 12:59
libssreflect-ocaml-dev_1.5-3build1_s390x.deb 639742016-Jan-06 02:05
libssreflect-ocaml-dev_1.5-3build1_powerpc.deb 640322015-Nov-05 12:59
libssreflect-ocaml-dev_1.5-3build1_arm64.deb 640462015-Nov-05 13:13
libssreflect-ocaml-dev_1.5-3build1_armhf.deb 640942015-Nov-05 13:13
libssreflect-ocaml_1.5~rc1-3_ppc64el.deb 1048422014-Feb-18 19:55
libssreflect-ocaml_1.5~rc1-3_arm64.deb 1052482014-Jan-21 15:33
libssreflect-ocaml_1.5-3build1_s390x.deb 1094582016-Jan-06 02:05
libssreflect-ocaml_1.5-3build1_ppc64el.deb 1095602015-Nov-05 12:59
ssreflect_1.5~rc1.orig.tar.gz 2039602013-Dec-07 02:23
ssreflect_1.5.orig.tar.gz 2178332014-Apr-26 21:12
libssreflect-ocaml_1.6.1-3build1_armhf.deb 3835322017-Oct-29 02:44
libssreflect-ocaml_1.5~rc1-3_powerpc.deb 3855462014-Jan-21 14:54
libssreflect-ocaml_1.5-3build1_powerpc.deb 3872722015-Nov-05 12:59
libssreflect-ocaml_1.5-3build1_arm64.deb 4099182015-Nov-05 13:13
libssreflect-ocaml_1.6.1-3build1_ppc64el.deb 4172482017-Oct-29 02:03
libssreflect-ocaml_1.6.1-3build1_s390x.deb 4181082017-Oct-29 02:04
libssreflect-ocaml_1.5~rc1-3_armhf.deb 4260582014-Jan-21 14:29
libssreflect-ocaml_1.5-3build1_armhf.deb 4267002015-Nov-05 13:13
libssreflect-ocaml_1.6.1-3build1_arm64.deb 4588562017-Oct-29 02:44
libssreflect-coq_1.5~rc1-3_all.deb 11881562014-Jan-21 14:53
libssreflect-coq_1.5-3build1_all.deb 11934802015-Nov-05 12:58
ssreflect_1.10.0+dfsg.orig.tar.gz 12180462019-Dec-07 02:38
ssreflect_1.14.0.orig.tar.gz 13529892022-Jan-25 08:34
ssreflect_2.1.0.orig.tar.gz 18354822023-Dec-25 02:26
ssreflect_2.3.0.orig.tar.gz 18807882024-Dec-19 08:41
libcoq-mathcomp-fingroup_1.14.0-7_all.deb 21435142022-Feb-17 15:11
libcoq-mathcomp-fingroup_2.1.0-1build4_ppc64el.deb 22331262024-Apr-08 22:15
libcoq-mathcomp-fingroup_2.1.0-1build4_riscv64.deb 22331262024-Apr-09 07:33
libcoq-mathcomp-fingroup_2.1.0-1build4_s390x.deb 22331362024-Apr-08 22:15
libcoq-mathcomp-fingroup_2.1.0-1build4_arm64.deb 22331582024-Apr-08 22:14
libcoq-mathcomp-fingroup_2.1.0-1build4_armhf.deb 22331902024-Apr-08 22:14
ssreflect_2.6.0.orig.tar.gz 23406242026-Jul-29 14:45
libcoq-mathcomp_2.1.0-1build4_ppc64el.deb 24650802024-Apr-08 22:15
libcoq-mathcomp_2.1.0-1build4_arm64.deb 24651142024-Apr-08 22:14
libcoq-mathcomp_2.1.0-1build4_riscv64.deb 24651582024-Apr-09 07:33
libcoq-mathcomp_2.1.0-1build4_armhf.deb 24651742024-Apr-08 22:14
libcoq-mathcomp_2.1.0-1build4_s390x.deb 24657122024-Apr-08 22:15
libcoq-mathcomp-fingroup_2.3.0-1build12_s390x.deb 25432042025-Sep-02 00:05
libcoq-mathcomp-fingroup_2.3.0-1build19_s390x.deb 25432142026-Mar-05 19:29
libcoq-mathcomp-fingroup_2.3.0-1build19_riscv64.deb 25432262026-Mar-07 18:33
libcoq-mathcomp-fingroup_2.3.0-1build19_arm64.deb 25434162026-Mar-05 19:29
libcoq-mathcomp-fingroup_2.3.0-1build19_ppc64el.deb 25434742026-Mar-05 19:29
libcoq-mathcomp-fingroup_2.3.0-1build12_arm64.deb 25434742025-Sep-02 00:05
libcoq-mathcomp-fingroup_2.3.0-1build12_ppc64el.deb 25435202025-Sep-02 00:05
libcoq-mathcomp-fingroup_2.3.0-1build12_riscv64.deb 25436582025-Sep-02 22:05
libcoq-mathcomp-fingroup_2.3.0-1build8_riscv64.deb 25463342025-Feb-20 21:56
libcoq-mathcomp-fingroup_2.3.0-1build8_arm64.deb 25464322025-Feb-20 18:57
libcoq-mathcomp-fingroup_2.3.0-1build8_ppc64el.deb 25464522025-Feb-20 08:03
libcoq-mathcomp-fingroup_2.3.0-1build8_s390x.deb 25464702025-Feb-20 08:04
libcoq-mathcomp_2.3.0-1build8_riscv64.deb 26101102025-Feb-20 21:56
libcoq-mathcomp_2.3.0-1build8_ppc64el.deb 26107282025-Feb-20 08:03
libcoq-mathcomp_2.3.0-1build8_s390x.deb 26115322025-Feb-20 08:04
libcoq-mathcomp_2.3.0-1build8_arm64.deb 26115782025-Feb-20 18:57
libcoq-mathcomp_2.3.0-1build12_arm64.deb 26148342025-Sep-02 00:05
libcoq-mathcomp_2.3.0-1build12_ppc64el.deb 26155602025-Sep-02 00:05
libcoq-mathcomp_2.3.0-1build19_riscv64.deb 26166242026-Mar-07 18:33
libcoq-mathcomp_2.3.0-1build12_s390x.deb 26166302025-Sep-02 00:05
libcoq-mathcomp_2.3.0-1build12_riscv64.deb 26167922025-Sep-02 22:05
libcoq-mathcomp_2.3.0-1build19_arm64.deb 26167962026-Mar-05 19:29
libcoq-mathcomp_2.3.0-1build19_s390x.deb 26168382026-Mar-05 19:29
libcoq-mathcomp_2.3.0-1build19_ppc64el.deb 26171062026-Mar-05 19:29
libcoq-mathcomp_1.14.0-7_all.deb 26535102022-Feb-17 15:11
libcoq-mathcomp-finite-group_2.6.0-3build2_ppc64el.deb 27313662026-Sep-19 23:23
libcoq-mathcomp-finite-group_2.6.0-3build2_arm64.deb 27314082026-Sep-19 23:23
libcoq-mathcomp-finite-group_2.6.0-3build2_riscv64.deb 27314482026-Sep-20 13:03
libcoq-mathcomp-finite-group_2.6.0-3build2_s390x.deb 27316642026-Sep-19 23:03
libcoq-mathcomp-field_1.14.0-7_all.deb 31778682022-Feb-17 15:11
libcoq-mathcomp-field_2.1.0-1build4_riscv64.deb 33941402024-Apr-09 07:33
libcoq-mathcomp-field_2.1.0-1build4_arm64.deb 33941702024-Apr-08 22:14
libcoq-mathcomp-field_2.1.0-1build4_s390x.deb 33942042024-Apr-08 22:15
libcoq-mathcomp-field_2.1.0-1build4_ppc64el.deb 33943602024-Apr-08 22:15
libcoq-mathcomp-field_2.1.0-1build4_armhf.deb 33955722024-Apr-08 22:14
libcoq-mathcomp-field_2.3.0-1build12_riscv64.deb 38134862025-Sep-02 22:05
libcoq-mathcomp-field_2.3.0-1build12_arm64.deb 38137002025-Sep-02 00:05
libcoq-mathcomp-field_2.3.0-1build12_s390x.deb 38139062025-Sep-02 00:05
libcoq-mathcomp-field_2.3.0-1build19_riscv64.deb 38140502026-Mar-07 18:33
libcoq-mathcomp-field_2.3.0-1build19_arm64.deb 38142502026-Mar-05 19:29
libcoq-mathcomp-field_2.3.0-1build19_ppc64el.deb 38145082026-Mar-05 19:29
libcoq-mathcomp-field_2.3.0-1build12_ppc64el.deb 38147202025-Sep-02 00:05
libcoq-mathcomp-field_2.3.0-1build19_s390x.deb 38148902026-Mar-05 19:29
libcoq-mathcomp-field_2.3.0-1build8_riscv64.deb 38183622025-Feb-20 21:56
libcoq-mathcomp-field_2.3.0-1build8_arm64.deb 38186122025-Feb-20 18:57
libcoq-mathcomp-field_2.3.0-1build8_s390x.deb 38186522025-Feb-20 08:04
libcoq-mathcomp-field_2.3.0-1build8_ppc64el.deb 38200822025-Feb-20 08:03
libcoq-mathcomp-character_2.1.0-1build4_armhf.deb 44136602024-Apr-08 22:14
libcoq-mathcomp-character_2.1.0-1build4_ppc64el.deb 44145082024-Apr-08 22:15
libcoq-mathcomp-character_2.1.0-1build4_s390x.deb 44145162024-Apr-08 22:15
libcoq-mathcomp-character_2.1.0-1build4_arm64.deb 44145362024-Apr-08 22:14
libcoq-mathcomp-character_2.1.0-1build4_riscv64.deb 44145682024-Apr-09 07:33
libcoq-mathcomp-character_1.14.0-7_all.deb 45915482022-Feb-17 15:11
ssreflect_1.6.1.orig.tar.gz 46915322016-Dec-31 02:13
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb 46994822022-Feb-17 15:11
libcoq-mathcomp-character_2.3.0-1build19_ppc64el.deb 47727442026-Mar-05 19:29
libcoq-mathcomp-character_2.3.0-1build19_riscv64.deb 47729062026-Mar-07 18:33
libcoq-mathcomp-character_2.3.0-1build12_s390x.deb 47731802025-Sep-02 00:05
libcoq-mathcomp-character_2.3.0-1build19_s390x.deb 47732782026-Mar-05 19:29
libcoq-mathcomp-character_2.3.0-1build12_arm64.deb 47735482025-Sep-02 00:05
libcoq-mathcomp-character_2.3.0-1build12_ppc64el.deb 47735942025-Sep-02 00:05
libcoq-mathcomp-character_2.3.0-1build12_riscv64.deb 47738982025-Sep-02 22:05
libcoq-mathcomp-character_2.3.0-1build19_arm64.deb 47742582026-Mar-05 19:29
libcoq-mathcomp-character_2.3.0-1build8_riscv64.deb 47773282025-Feb-20 21:56
libcoq-mathcomp-character_2.3.0-1build8_ppc64el.deb 47777322025-Feb-20 08:03
libcoq-mathcomp-character_2.3.0-1build8_arm64.deb 47779022025-Feb-20 18:57
libcoq-mathcomp-character_2.3.0-1build8_s390x.deb 47781802025-Feb-20 08:04
libcoq-mathcomp-field_2.6.0-3build2_riscv64.deb 51674082026-Sep-20 13:03
libcoq-mathcomp-field_2.6.0-3build2_arm64.deb 51675502026-Sep-19 23:23
libcoq-mathcomp-field_2.6.0-3build2_s390x.deb 51678942026-Sep-19 23:03
libcoq-mathcomp-field_2.6.0-3build2_ppc64el.deb 51682662026-Sep-19 23:23
libcoq-mathcomp-solvable_2.1.0-1build4_arm64.deb 52367462024-Apr-08 22:14
libcoq-mathcomp-solvable_2.1.0-1build4_s390x.deb 52367722024-Apr-08 22:15
libcoq-mathcomp-solvable_2.1.0-1build4_riscv64.deb 52369442024-Apr-09 07:33
libcoq-mathcomp-solvable_2.1.0-1build4_armhf.deb 52370142024-Apr-08 22:14
libcoq-mathcomp-solvable_2.1.0-1build4_ppc64el.deb 52370742024-Apr-08 22:15
libcoq-mathcomp-solvable_1.14.0-7_all.deb 52697082022-Feb-17 15:11
libcoq-mathcomp-group-representation_2.6.0-3build2_ppc64el.deb 52744362026-Sep-19 23:23
libcoq-mathcomp-group-representation_2.6.0-3build2_arm64.deb 52747062026-Sep-19 23:23
libcoq-mathcomp-group-representation_2.6.0-3build2_riscv64.deb 52747502026-Sep-20 13:03
libcoq-mathcomp-group-representation_2.6.0-3build2_s390x.deb 52756842026-Sep-19 23:03
libcoq-mathcomp-solvable_2.3.0-1build12_riscv64.deb 54346182025-Sep-02 22:05
libcoq-mathcomp-solvable_2.3.0-1build19_arm64.deb 54347082026-Mar-05 19:29
libcoq-mathcomp-solvable_2.3.0-1build12_ppc64el.deb 54347502025-Sep-02 00:05
libcoq-mathcomp-solvable_2.3.0-1build19_ppc64el.deb 54347902026-Mar-05 19:29
libcoq-mathcomp-solvable_2.3.0-1build12_s390x.deb 54348482025-Sep-02 00:05
libcoq-mathcomp-solvable_2.3.0-1build12_arm64.deb 54349002025-Sep-02 00:05
libcoq-mathcomp-solvable_2.3.0-1build19_s390x.deb 54349422026-Mar-05 19:29
libcoq-mathcomp-solvable_2.3.0-1build19_riscv64.deb 54353822026-Mar-07 18:33
libcoq-mathcomp-solvable_2.3.0-1build8_riscv64.deb 54367522025-Feb-20 21:56
libcoq-mathcomp-solvable_2.3.0-1build8_s390x.deb 54369082025-Feb-20 08:04
libcoq-mathcomp-solvable_2.3.0-1build8_arm64.deb 54369842025-Feb-20 18:57
libcoq-mathcomp-solvable_2.3.0-1build8_ppc64el.deb 54370422025-Feb-20 08:03
libcoq-mathcomp-solvable_2.6.0-3build2_s390x.deb 56444382026-Sep-19 23:03
libcoq-mathcomp-solvable_2.6.0-3build2_riscv64.deb 56452582026-Sep-20 13:03
libcoq-mathcomp-solvable_2.6.0-3build2_ppc64el.deb 56452702026-Sep-19 23:23
libcoq-mathcomp-solvable_2.6.0-3build2_arm64.deb 56453682026-Sep-19 23:23
libcoq-mathcomp-ssreflect_2.1.0-1build4_armhf.deb 66188142024-Apr-08 22:14
libcoq-mathcomp-ssreflect_2.1.0-1build4_arm64.deb 66189202024-Apr-08 22:14
libcoq-mathcomp-ssreflect_2.1.0-1build4_riscv64.deb 66189342024-Apr-09 07:33
libcoq-mathcomp-ssreflect_2.1.0-1build4_ppc64el.deb 66190362024-Apr-08 22:15
libcoq-mathcomp-ssreflect_2.1.0-1build4_s390x.deb 66190502024-Apr-08 22:15
libcoq-mathcomp-boot_2.6.0-3build2_s390x.deb 68349462026-Sep-19 23:03
libcoq-mathcomp-boot_2.6.0-3build2_arm64.deb 68350702026-Sep-19 23:23
libcoq-mathcomp-boot_2.6.0-3build2_riscv64.deb 68351642026-Sep-20 13:03
libcoq-mathcomp-boot_2.6.0-3build2_ppc64el.deb 68353982026-Sep-19 23:23
mathcomp-doc_2.6.0-3build2_all.deb 68728582026-Sep-19 23:03
libcoq-mathcomp-algebra_1.14.0-7_all.deb 73585982022-Feb-17 15:11
libcoq-mathcomp-order_2.6.0-3build2_riscv64.deb 80216142026-Sep-20 13:03
libcoq-mathcomp-order_2.6.0-3build2_arm64.deb 80217702026-Sep-19 23:23
libcoq-mathcomp-order_2.6.0-3build2_ppc64el.deb 80218722026-Sep-19 23:23
libcoq-mathcomp-order_2.6.0-3build2_s390x.deb 80242442026-Sep-19 23:03
libcoq-mathcomp-ssreflect_2.3.0-1build19_arm64.deb 94914202026-Mar-05 19:29
libcoq-mathcomp-ssreflect_2.3.0-1build19_s390x.deb 94916582026-Mar-05 19:29
libcoq-mathcomp-ssreflect_2.3.0-1build19_riscv64.deb 94928202026-Mar-07 18:33
libcoq-mathcomp-ssreflect_2.3.0-1build12_arm64.deb 94951902025-Sep-02 00:05
libcoq-mathcomp-ssreflect_2.3.0-1build12_s390x.deb 94952642025-Sep-02 00:05
libcoq-mathcomp-ssreflect_2.3.0-1build19_ppc64el.deb 94968322026-Mar-05 19:29
libcoq-mathcomp-ssreflect_2.3.0-1build12_riscv64.deb 94971582025-Sep-02 22:05
libcoq-mathcomp-ssreflect_2.3.0-1build8_ppc64el.deb 95010502025-Feb-20 08:03
libcoq-mathcomp-ssreflect_2.3.0-1build12_ppc64el.deb 95015462025-Sep-02 00:05
libcoq-mathcomp-ssreflect_2.3.0-1build8_arm64.deb 95030102025-Feb-20 18:57
libcoq-mathcomp-ssreflect_2.3.0-1build8_s390x.deb 95030622025-Feb-20 08:04
libcoq-mathcomp-ssreflect_2.3.0-1build8_riscv64.deb 95034242025-Feb-20 21:56
libcoq-mathcomp-algebra_2.1.0-1build4_riscv64.deb 103198082024-Apr-09 07:33
libcoq-mathcomp-algebra_2.1.0-1build4_s390x.deb 103200362024-Apr-08 22:15
libcoq-mathcomp-algebra_2.1.0-1build4_arm64.deb 103200562024-Apr-08 22:14
libcoq-mathcomp-algebra_2.1.0-1build4_ppc64el.deb 103204102024-Apr-08 22:15
libcoq-mathcomp-algebra_2.1.0-1build4_armhf.deb 103216702024-Apr-08 22:14
libcoq-mathcomp-algebra_2.3.0-1build12_arm64.deb 138357722025-Sep-02 00:05
libcoq-mathcomp-algebra_2.3.0-1build12_ppc64el.deb 138358982025-Sep-02 00:05
libcoq-mathcomp-algebra_2.3.0-1build19_ppc64el.deb 138366242026-Mar-05 19:29
libcoq-mathcomp-algebra_2.3.0-1build19_arm64.deb 138368642026-Mar-05 19:29
libcoq-mathcomp-algebra_2.3.0-1build12_riscv64.deb 138373902025-Sep-02 22:05
libcoq-mathcomp-algebra_2.3.0-1build19_s390x.deb 138381242026-Mar-05 19:29
libcoq-mathcomp-algebra_2.3.0-1build12_s390x.deb 138387842025-Sep-02 00:05
libcoq-mathcomp-algebra_2.3.0-1build8_ppc64el.deb 138397322025-Feb-20 08:03
libcoq-mathcomp-algebra_2.3.0-1build8_arm64.deb 138397542025-Feb-20 18:57
libcoq-mathcomp-algebra_2.3.0-1build8_riscv64.deb 138414342025-Feb-20 21:56
libcoq-mathcomp-algebra_2.3.0-1build19_riscv64.deb 138422362026-Mar-07 18:33
libcoq-mathcomp-algebra_2.3.0-1build8_s390x.deb 138455882025-Feb-20 08:04
libssreflect-coq_1.6.1-3build1_all.deb 241999442017-Oct-29 02:03
libssreflect-coq_1.10.0+dfsg-2_all.deb 259507602020-Mar-19 18:23
libcoq-mathcomp-algebra_2.6.0-3build2_s390x.deb 272382442026-Sep-19 23:03
libcoq-mathcomp-algebra_2.6.0-3build2_ppc64el.deb 272392802026-Sep-19 23:23
libcoq-mathcomp-algebra_2.6.0-3build2_riscv64.deb 272403742026-Sep-20 13:03
libcoq-mathcomp-algebra_2.6.0-3build2_arm64.deb 272413822026-Sep-19 23:23