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

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
libssreflect-ocaml_1.5~rc1-3_amd64.deb	21/01/14 05:5321/01/14	440 KiB	[Save][Download]
libcoq-mathcomp-algebra_1.14.0-7_all.deb	17/02/22 06:1117/02/22	7 MiB	[Save][Download]
ssreflect_1.10.0+dfsg-2.debian.tar.xz	19/03/20 08:4819/03/20	12.4 KiB	[Save][Download]
libcoq-mathcomp-field_2.3.0-1build1_amd64.deb	20/12/24 05:0220/12/24	3.7 MiB	[Save][Download]
libssreflect-coq_1.5-3build1_all.deb	05/11/15 03:5805/11/15	1.1 MiB	[Save][Download]
libssreflect-coq_1.5~rc1-3_all.deb	21/01/14 05:5321/01/14	1.1 MiB	[Save][Download]
ssreflect_1.10.0+dfsg-2.dsc	19/03/20 08:4819/03/20	2.1 KiB	[Save][Download]
libcoq-mathcomp-character_1.14.0-7_all.deb	17/02/22 06:1117/02/22	4.4 MiB	[Save][Download]
ssreflect_1.10.0+dfsg.orig.tar.gz	06/12/19 17:3806/12/19	1.2 MiB	[Save][Download]
libssreflect-coq_1.6.1-3build1_all.deb	28/10/17 17:0328/10/17	23.1 MiB	[Save][Download]
libssreflect-ocaml-dev_1.5-3build1_i386.deb	05/11/15 03:5905/11/15	62.6 KiB	[Save][Download]
ssreflect_1.14.0-7.debian.tar.xz	17/02/22 06:1017/02/22	12.1 KiB	[Save][Download]
libcoq-mathcomp-field_1.14.0-7_all.deb	17/02/22 06:1117/02/22	3 MiB	[Save][Download]
ssreflect_1.14.0-7.dsc	17/02/22 06:1017/02/22	2.5 KiB	[Save][Download]
libssreflect-ocaml-dev_1.5-3build1_amd64.deb	05/11/15 03:5805/11/15	62.6 KiB	[Save][Download]
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb	21/01/14 05:5321/01/14	60.2 KiB	[Save][Download]
ssreflect_1.14.0.orig.tar.gz	24/01/22 23:3424/01/22	1.3 MiB	[Save][Download]
libcoq-mathcomp-fingroup_1.14.0-7_all.deb	17/02/22 06:1117/02/22	2 MiB	[Save][Download]
libcoq-mathcomp-fingroup_2.3.0-1build1_amd64.deb	20/12/24 05:0220/12/24	2.4 MiB	[Save][Download]
libcoq-mathcomp_2.2.0-2build6_amd64.deb	19/09/24 21:5419/09/24	2.3 MiB	[Save][Download]
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb	21/01/14 05:5421/01/14	60.2 KiB	[Save][Download]
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb	28/10/17 17:0328/10/17	58.9 KiB	[Save][Download]
libcoq-mathcomp-solvable_1.14.0-7_all.deb	17/02/22 06:1117/02/22	5 MiB	[Save][Download]
libcoq-mathcomp-solvable_2.3.0-1build1_amd64.deb	20/12/24 05:0220/12/24	5.2 MiB	[Save][Download]
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb	28/10/17 17:0328/10/17	58.9 KiB	[Save][Download]
libcoq-mathcomp-character_2.3.0-1build1_amd64.deb	20/12/24 05:0220/12/24	4.6 MiB	[Save][Download]
libssreflect-ocaml_1.5-3build1_amd64.deb	05/11/15 03:5805/11/15	435 KiB	[Save][Download]
ssreflect_2.3.0.orig.tar.gz	18/12/24 23:4118/12/24	1.8 MiB	[Save][Download]
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb	17/02/22 06:1117/02/22	4.5 MiB	[Save][Download]
libcoq-mathcomp-ssreflect_2.3.0-1build1_amd64.deb	20/12/24 05:0220/12/24	9.1 MiB	[Save][Download]
ssreflect_2.3.0-1build1.dsc	20/12/24 04:0020/12/24	2.6 KiB	[Save][Download]
libssreflect-ocaml_1.5-3build1_i386.deb	05/11/15 03:5905/11/15	384 KiB	[Save][Download]
ssreflect_1.5~rc1-3.debian.tar.xz	21/01/14 05:1821/01/14	11.2 KiB	[Save][Download]
libcoq-mathcomp_1.14.0-7_all.deb	17/02/22 06:1117/02/22	2.5 MiB	[Save][Download]
ssreflect_1.5~rc1-3.dsc	21/01/14 05:1821/01/14	2.2 KiB	[Save][Download]
libcoq-mathcomp-algebra_2.2.0-2build6_amd64.deb	19/09/24 21:5419/09/24	10.9 MiB	[Save][Download]
libcoq-mathcomp-algebra_2.3.0-1build1_amd64.deb	20/12/24 05:0220/12/24	13.3 MiB	[Save][Download]
libssreflect-coq_1.10.0+dfsg-2_all.deb	19/03/20 09:2319/03/20	24.7 MiB	[Save][Download]
libssreflect-ocaml_1.5~rc1-3_i386.deb	21/01/14 05:5421/01/14	382 KiB	[Save][Download]
ssreflect_1.5-3build1.debian.tar.xz	05/11/15 03:4805/11/15	11.3 KiB	[Save][Download]
libssreflect-ocaml_1.6.1-3build1_amd64.deb	28/10/17 17:0328/10/17	390 KiB	[Save][Download]
ssreflect_1.5-3build1.dsc	05/11/15 03:4805/11/15	1.9 KiB	[Save][Download]
libssreflect-ocaml_1.6.1-3build1_i386.deb	28/10/17 17:0328/10/17	340 KiB	[Save][Download]
ssreflect_1.5.orig.tar.gz	26/04/14 12:1226/04/14	213 KiB	[Save][Download]
ssreflect_1.5~rc1.orig.tar.gz	06/12/13 17:2306/12/13	199 KiB	[Save][Download]
ssreflect_1.6.1-3build1.debian.tar.xz	28/10/17 16:1928/10/17	12.3 KiB	[Save][Download]
ssreflect_1.6.1-3build1.dsc	28/10/17 16:1928/10/17	2.2 KiB	[Save][Download]
ssreflect_1.6.1.orig.tar.gz	30/12/16 17:1330/12/16	4.5 MiB	[Save][Download]
ssreflect_2.2.0-2build6.debian.tar.xz	17/09/24 15:5117/09/24	12.5 KiB	[Save][Download]
libcoq-mathcomp-field_2.2.0-2build6_amd64.deb	19/09/24 21:5419/09/24	3.5 MiB	[Save][Download]
libcoq-mathcomp-solvable_2.2.0-2build6_amd64.deb	19/09/24 21:5419/09/24	5 MiB	[Save][Download]
ssreflect_2.1.0.orig.tar.gz	24/12/23 17:2624/12/23	1.8 MiB	[Save][Download]
ssreflect_2.1.0-1build4.debian.tar.xz	01/04/24 05:4401/04/24	12.5 KiB	[Save][Download]
ssreflect_2.1.0-1build4.dsc	01/04/24 05:4401/04/24	2.6 KiB	[Save][Download]
libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb	08/04/24 13:1408/04/24	9.8 MiB	[Save][Download]
libcoq-mathcomp-character_2.1.0-1build4_amd64.deb	08/04/24 13:1408/04/24	4.2 MiB	[Save][Download]
libcoq-mathcomp-field_2.1.0-1build4_amd64.deb	08/04/24 13:1408/04/24	3.2 MiB	[Save][Download]
libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb	08/04/24 13:1408/04/24	2.1 MiB	[Save][Download]
libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb	08/04/24 13:1408/04/24	5 MiB	[Save][Download]
libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb	08/04/24 13:1408/04/24	6.3 MiB	[Save][Download]
libcoq-mathcomp_2.1.0-1build4_amd64.deb	08/04/24 13:1408/04/24	2.4 MiB	[Save][Download]
ssreflect_2.2.0.orig.tar.gz	03/05/24 02:3503/05/24	1.8 MiB	[Save][Download]
libcoq-mathcomp_2.3.0-1build1_amd64.deb	20/12/24 05:0220/12/24	2.5 MiB	[Save][Download]
ssreflect_2.3.0-1build1.debian.tar.xz	20/12/24 04:0020/12/24	12.4 KiB	[Save][Download]
ssreflect_2.2.0-2build6.dsc	17/09/24 15:5117/09/24	2.6 KiB	[Save][Download]
libcoq-mathcomp-character_2.2.0-2build6_amd64.deb	19/09/24 21:5419/09/24	4.5 MiB	[Save][Download]
libcoq-mathcomp-fingroup_2.2.0-2build6_amd64.deb	19/09/24 21:5419/09/24	2.3 MiB	[Save][Download]
libcoq-mathcomp-ssreflect_2.2.0-2build6_amd64.deb	19/09/24 21:5419/09/24	6.6 MiB	[Save][Download]