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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ssreflect_1.5~rc1.orig.tar.gz 2039602013-Dec-07 02:23
ssreflect_1.5~rc1-3.dsc 22402014-Jan-21 14:18
ssreflect_1.5~rc1-3.debian.tar.xz 114482014-Jan-21 14:18
libssreflect-ocaml_1.5~rc1-3_amd64.deb 4504962014-Jan-21 14:53
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb 616522014-Jan-21 14:53
libssreflect-coq_1.5~rc1-3_all.deb 11881562014-Jan-21 14:53
libssreflect-ocaml_1.5~rc1-3_i386.deb 3908142014-Jan-21 14:54
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb 616082014-Jan-21 14:54
ssreflect_1.5.orig.tar.gz 2178332014-Apr-26 21:12
ssreflect_1.5-3build1.dsc 19112015-Nov-05 12:48
ssreflect_1.5-3build1.debian.tar.xz 115922015-Nov-05 12:48
libssreflect-coq_1.5-3build1_all.deb 11934802015-Nov-05 12:58
libssreflect-ocaml_1.5-3build1_amd64.deb 4458362015-Nov-05 12:58
libssreflect-ocaml-dev_1.5-3build1_amd64.deb 640962015-Nov-05 12:58
libssreflect-ocaml-dev_1.5-3build1_i386.deb 640682015-Nov-05 12:59
libssreflect-ocaml_1.5-3build1_i386.deb 3937182015-Nov-05 12:59
ssreflect_1.6.1.orig.tar.gz 46915322016-Dec-31 02:13
ssreflect_1.6.1-3build1.dsc 22812017-Oct-29 01:19
ssreflect_1.6.1-3build1.debian.tar.xz 125722017-Oct-29 01:19
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb 602762017-Oct-29 02:03
libssreflect-ocaml_1.6.1-3build1_amd64.deb 3989122017-Oct-29 02:03
libssreflect-coq_1.6.1-3build1_all.deb 241999442017-Oct-29 02:03
libssreflect-ocaml_1.6.1-3build1_i386.deb 3485882017-Oct-29 02:03
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb 602722017-Oct-29 02:03
ssreflect_1.10.0+dfsg.orig.tar.gz 12180462019-Dec-07 02:38
ssreflect_1.10.0+dfsg-2.debian.tar.xz 126762020-Mar-19 17:48
ssreflect_1.10.0+dfsg-2.dsc 21292020-Mar-19 17:48
libssreflect-coq_1.10.0+dfsg-2_all.deb 259507602020-Mar-19 18:23
ssreflect_1.14.0.orig.tar.gz 13529892022-Jan-25 08:34
ssreflect_1.14.0-7.dsc 25802022-Feb-17 15:10
ssreflect_1.14.0-7.debian.tar.xz 123722022-Feb-17 15:10
libcoq-mathcomp-solvable_1.14.0-7_all.deb 52697082022-Feb-17 15:11
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb 46994822022-Feb-17 15:11
libcoq-mathcomp-fingroup_1.14.0-7_all.deb 21435142022-Feb-17 15:11
libcoq-mathcomp-character_1.14.0-7_all.deb 45915482022-Feb-17 15:11
libcoq-mathcomp-algebra_1.14.0-7_all.deb 73585982022-Feb-17 15:11
libcoq-mathcomp-field_1.14.0-7_all.deb 31778682022-Feb-17 15:11
libcoq-mathcomp_1.14.0-7_all.deb 26535102022-Feb-17 15:11
ssreflect_2.1.0.orig.tar.gz 18354822023-Dec-25 02:26
ssreflect_2.1.0-1build4.dsc 27002024-Apr-01 14:44
ssreflect_2.1.0-1build4.debian.tar.xz 128362024-Apr-01 14:44
libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb 52366582024-Apr-08 22:14
libcoq-mathcomp-character_2.1.0-1build4_amd64.deb 44145922024-Apr-08 22:14
libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb 22330862024-Apr-08 22:14
libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb 103201302024-Apr-08 22:14
libcoq-mathcomp_2.1.0-1build4_amd64.deb 24651722024-Apr-08 22:14
libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb 66189662024-Apr-08 22:14
libcoq-mathcomp-field_2.1.0-1build4_amd64.deb 33942142024-Apr-08 22:14
ssreflect_2.2.0.orig.tar.gz 18390932024-May-03 11:35
ssreflect_2.2.0-2build6.debian.tar.xz 128122024-Sep-18 00:51
ssreflect_2.2.0-2build6.dsc 26212024-Sep-18 00:51
libcoq-mathcomp-solvable_2.2.0-2build6_amd64.deb 52718842024-Sep-20 06:54
libcoq-mathcomp-ssreflect_2.2.0-2build6_amd64.deb 68713302024-Sep-20 06:54
libcoq-mathcomp-fingroup_2.2.0-2build6_amd64.deb 23909762024-Sep-20 06:54
libcoq-mathcomp-character_2.2.0-2build6_amd64.deb 46818882024-Sep-20 06:54
libcoq-mathcomp-algebra_2.2.0-2build6_amd64.deb 114464042024-Sep-20 06:54
libcoq-mathcomp-field_2.2.0-2build6_amd64.deb 36353362024-Sep-20 06:54
libcoq-mathcomp_2.2.0-2build6_amd64.deb 24520062024-Sep-20 06:54
ssreflect_2.3.0.orig.tar.gz 18807882024-Dec-19 08:41
ssreflect_2.3.0-1build8.debian.tar.xz 129282025-Feb-20 08:00
ssreflect_2.3.0-1build8.dsc 27252025-Feb-20 08:00
libcoq-mathcomp-fingroup_2.3.0-1build8_amd64.deb 25464322025-Feb-20 08:02
libcoq-mathcomp-solvable_2.3.0-1build8_amd64.deb 54368102025-Feb-20 08:02
libcoq-mathcomp-ssreflect_2.3.0-1build8_amd64.deb 95031482025-Feb-20 08:02
libcoq-mathcomp-character_2.3.0-1build8_amd64.deb 47777242025-Feb-20 08:02
libcoq-mathcomp-field_2.3.0-1build8_amd64.deb 38186162025-Feb-20 08:02
libcoq-mathcomp_2.3.0-1build8_amd64.deb 26101742025-Feb-20 08:02
libcoq-mathcomp-algebra_2.3.0-1build8_amd64.deb 138401542025-Feb-20 08:02
ssreflect_2.3.0-1build10.debian.tar.xz 129722025-May-28 17:21
ssreflect_2.3.0-1build10.dsc 27042025-May-28 17:21
libcoq-mathcomp-fingroup_2.3.0-1build10_amd64.deb 25434042025-May-28 19:17
libcoq-mathcomp-ssreflect_2.3.0-1build10_amd64.deb 94950962025-May-28 19:17
libcoq-mathcomp-solvable_2.3.0-1build10_amd64.deb 54346842025-May-28 19:17
libcoq-mathcomp_2.3.0-1build10_amd64.deb 26157022025-May-28 19:17
libcoq-mathcomp-character_2.3.0-1build10_amd64.deb 47735482025-May-28 19:17
libcoq-mathcomp-algebra_2.3.0-1build10_amd64.deb 138358482025-May-28 19:17
libcoq-mathcomp-field_2.3.0-1build10_amd64.deb 38140202025-May-28 19:17
ssreflect_2.3.0-1build11.debian.tar.xz 129962025-Jun-17 18:25
ssreflect_2.3.0-1build11.dsc 27042025-Jun-17 18:25
libcoq-mathcomp-ssreflect_2.3.0-1build11_amd64.deb 94952522025-Jun-20 20:06
libcoq-mathcomp-solvable_2.3.0-1build11_amd64.deb 54346722025-Jun-20 20:06
libcoq-mathcomp-fingroup_2.3.0-1build11_amd64.deb 25433882025-Jun-20 20:06
libcoq-mathcomp_2.3.0-1build11_amd64.deb 26147922025-Jun-20 20:06
libcoq-mathcomp-field_2.3.0-1build11_amd64.deb 38137202025-Jun-20 20:06
libcoq-mathcomp-algebra_2.3.0-1build11_amd64.deb 138360942025-Jun-20 20:06
libcoq-mathcomp-character_2.3.0-1build11_amd64.deb 47735522025-Jun-20 20:06