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

	Name	Last modified	Size	Description
	Parent Directory		-
	ssreflect_1.5-3build1.dsc	05-Nov-2015 00:48	1.9K
	ssreflect_1.10.0+dfsg-2.dsc	19-Mar-2020 05:48	2.1K
	ssreflect_1.5~rc1-3.dsc	21-Jan-2014 02:18	2.2K
	ssreflect_1.6.1-3build1.dsc	28-Oct-2017 14:19	2.2K
	ssreflect_1.14.0-7.dsc	17-Feb-2022 03:10	2.5K
	ssreflect_1.15.0-1build5.dsc	16-Feb-2023 12:54	2.5K
	ssreflect_1.15.0-1.dsc	05-Jul-2022 09:28	2.5K
	ssreflect_1.5~rc1-3.debian.tar.xz	21-Jan-2014 02:18	11K
	ssreflect_1.5-3build1.debian.tar.xz	05-Nov-2015 00:48	11K
	ssreflect_1.14.0-7.debian.tar.xz	17-Feb-2022 03:10	12K
	ssreflect_1.15.0-1.debian.tar.xz	05-Jul-2022 09:28	12K
	ssreflect_1.15.0-1build5.debian.tar.xz	16-Feb-2023 12:54	12K
	ssreflect_1.6.1-3build1.debian.tar.xz	28-Oct-2017 14:19	12K
	ssreflect_1.10.0+dfsg-2.debian.tar.xz	19-Mar-2020 05:48	12K
	libssreflect-ocaml-dev_1.6.1-3build1_i386.deb	28-Oct-2017 15:03	59K
	libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb	28-Oct-2017 15:03	59K
	libssreflect-ocaml-dev_1.5~rc1-3_i386.deb	21-Jan-2014 02:54	60K
	libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb	21-Jan-2014 02:53	60K
	libssreflect-ocaml-dev_1.5-3build1_i386.deb	05-Nov-2015 00:59	63K
	libssreflect-ocaml-dev_1.5-3build1_amd64.deb	05-Nov-2015 00:58	63K
	ssreflect_1.5~rc1.orig.tar.gz	06-Dec-2013 14:23	199K
	ssreflect_1.5.orig.tar.gz	26-Apr-2014 10:12	213K
	libssreflect-ocaml_1.6.1-3build1_i386.deb	28-Oct-2017 15:03	340K
	libssreflect-ocaml_1.5~rc1-3_i386.deb	21-Jan-2014 02:54	382K
	libssreflect-ocaml_1.5-3build1_i386.deb	05-Nov-2015 00:59	384K
	libssreflect-ocaml_1.6.1-3build1_amd64.deb	28-Oct-2017 15:03	390K
	libssreflect-ocaml_1.5-3build1_amd64.deb	05-Nov-2015 00:58	435K
	libssreflect-ocaml_1.5~rc1-3_amd64.deb	21-Jan-2014 02:53	440K
	libssreflect-coq_1.5~rc1-3_all.deb	21-Jan-2014 02:53	1.1M
	libssreflect-coq_1.5-3build1_all.deb	05-Nov-2015 00:58	1.1M
	ssreflect_1.10.0+dfsg.orig.tar.gz	06-Dec-2019 14:38	1.2M
	ssreflect_1.14.0.orig.tar.gz	24-Jan-2022 20:34	1.3M
	ssreflect_1.15.0.orig.tar.gz	05-Jul-2022 09:28	1.3M
	libcoq-mathcomp-fingroup_1.15.0-1_amd64.deb	05-Jul-2022 11:19	2.0M
	libcoq-mathcomp-fingroup_1.15.0-1build5_amd64.deb	16-Feb-2023 13:34	2.0M
	libcoq-mathcomp-fingroup_1.14.0-7_all.deb	17-Feb-2022 03:11	2.0M
	libcoq-mathcomp_1.15.0-1build5_amd64.deb	16-Feb-2023 13:34	2.5M
	libcoq-mathcomp_1.14.0-7_all.deb	17-Feb-2022 03:11	2.5M
	libcoq-mathcomp_1.15.0-1_amd64.deb	05-Jul-2022 11:19	2.5M
	libcoq-mathcomp-field_1.15.0-1build5_amd64.deb	16-Feb-2023 13:34	3.0M
	libcoq-mathcomp-field_1.15.0-1_amd64.deb	05-Jul-2022 11:19	3.0M
	libcoq-mathcomp-field_1.14.0-7_all.deb	17-Feb-2022 03:11	3.0M
	libcoq-mathcomp-character_1.15.0-1build5_amd64.deb	16-Feb-2023 13:34	4.3M
	libcoq-mathcomp-character_1.15.0-1_amd64.deb	05-Jul-2022 11:19	4.3M
	libcoq-mathcomp-character_1.14.0-7_all.deb	17-Feb-2022 03:11	4.4M
	ssreflect_1.6.1.orig.tar.gz	30-Dec-2016 14:13	4.5M
	libcoq-mathcomp-ssreflect_1.14.0-7_all.deb	17-Feb-2022 03:11	4.5M
	libcoq-mathcomp-ssreflect_1.15.0-1_amd64.deb	05-Jul-2022 11:19	4.5M
	libcoq-mathcomp-ssreflect_1.15.0-1build5_amd64.deb	16-Feb-2023 13:34	4.5M
	libcoq-mathcomp-solvable_1.15.0-1build5_amd64.deb	16-Feb-2023 13:34	4.9M
	libcoq-mathcomp-solvable_1.15.0-1_amd64.deb	05-Jul-2022 11:19	5.0M
	libcoq-mathcomp-solvable_1.14.0-7_all.deb	17-Feb-2022 03:11	5.0M
	libcoq-mathcomp-algebra_1.15.0-1_amd64.deb	05-Jul-2022 11:19	7.0M
	libcoq-mathcomp-algebra_1.15.0-1build5_amd64.deb	16-Feb-2023 13:34	7.0M
	libcoq-mathcomp-algebra_1.14.0-7_all.deb	17-Feb-2022 03:11	7.0M
	libssreflect-coq_1.6.1-3build1_all.deb	28-Oct-2017 15:03	23M
	libssreflect-coq_1.10.0+dfsg-2_all.deb	19-Mar-2020 06:23	25M