Index of /ubuntu/pool/universe/f/frama-c

	Name	Last modified	Size	Description
	Parent Directory		-
	frama-c-base_20130601+fluorine3+dfsg-2build1_amd64.deb	24-Dec-2013 11:58	21M
	frama-c-base_20130601+fluorine3+dfsg-2build1_i386.deb	24-Dec-2013 11:58	20M
	frama-c-base_20151002+magnesium+dfsg-1build1_amd64.deb	05-Feb-2016 00:27	18M
	frama-c-base_20151002+magnesium+dfsg-1build1_i386.deb	05-Feb-2016 00:29	17M
	frama-c-base_20170501+phosphorus+dfsg-2build1_amd64.deb	29-Oct-2017 05:20	21M
	frama-c-base_20170501+phosphorus+dfsg-2build1_i386.deb	29-Oct-2017 05:20	20M
	frama-c-base_20191204+calcium-0.1_amd64.deb	02-Apr-2020 08:09	34M
	frama-c-base_20220511-manganese-3build3_amd64.deb	20-Feb-2023 05:43	72M
	frama-c-base_20220511-manganese-5_amd64.deb	12-Sep-2023 01:20	61M
	frama-c-base_20220511-manganese-5build7_amd64.deb	01-Apr-2024 07:37	62M
	frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz	24-Dec-2013 11:58	25K
	frama-c_20130601+fluorine3+dfsg-2build1.dsc	24-Dec-2013 11:58	1.7K
	frama-c_20130601+fluorine3+dfsg-2build1_amd64.deb	24-Dec-2013 11:58	3.3M
	frama-c_20130601+fluorine3+dfsg-2build1_i386.deb	24-Dec-2013 11:58	3.1M
	frama-c_20130601+fluorine3+dfsg.orig.tar.gz	26-Nov-2013 18:13	2.5M
	frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz	05-Feb-2016 00:25	22K
	frama-c_20151002+magnesium+dfsg-1build1.dsc	05-Feb-2016 00:25	2.3K
	frama-c_20151002+magnesium+dfsg-1build1_amd64.deb	05-Feb-2016 00:27	8.1M
	frama-c_20151002+magnesium+dfsg-1build1_i386.deb	05-Feb-2016 00:29	7.8M
	frama-c_20151002+magnesium+dfsg.orig.tar.gz	24-Jan-2016 18:09	5.8M
	frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz	29-Oct-2017 05:19	29K
	frama-c_20170501+phosphorus+dfsg-2build1.dsc	29-Oct-2017 05:19	2.3K
	frama-c_20170501+phosphorus+dfsg-2build1_amd64.deb	29-Oct-2017 05:20	11M
	frama-c_20170501+phosphorus+dfsg-2build1_i386.deb	29-Oct-2017 05:20	11M
	frama-c_20170501+phosphorus+dfsg.orig.tar.gz	12-Aug-2017 11:08	7.1M
	frama-c_20191204+calcium-0.1.debian.tar.xz	02-Apr-2020 06:53	22K
	frama-c_20191204+calcium-0.1.dsc	02-Apr-2020 06:53	2.1K
	frama-c_20191204+calcium.orig.tar.gz	26-Feb-2020 03:03	5.5M
	frama-c_20220511-manganese-3build3.debian.tar.xz	20-Feb-2023 05:43	16K
	frama-c_20220511-manganese-3build3.dsc	20-Feb-2023 05:43	2.4K
	frama-c_20220511-manganese-5.debian.tar.xz	12-Sep-2023 01:19	16K
	frama-c_20220511-manganese-5.dsc	12-Sep-2023 01:19	2.1K
	frama-c_20220511-manganese-5build7.debian.tar.xz	31-Mar-2024 19:12	17K
	frama-c_20220511-manganese-5build7.dsc	31-Mar-2024 19:12	2.4K
	frama-c_20220511-manganese.orig.tar.gz	20-Jun-2022 05:34	7.7M