Index of /trusty/pool/universe/a/apron

	Name	Last modified	Size	Description
	Parent Directory		-
	apron_0.9.10-6.debian.tar.gz	2014-03-20 04:53	12K
	apron_0.9.10-6.dsc	2014-03-20 04:53	2.1K
	apron_0.9.10.orig.tar.gz	2009-12-01 02:05	912K
	libapron-dev_0.9.10-6_all.deb	2014-03-20 04:53	126K
	libapron-ocaml-dev_0.9.10-6_amd64.deb	2014-03-20 04:53	1.2M
	libapron-ocaml_0.9.10-6_amd64.deb	2014-03-20 04:53	54K
	libapron_0.9.10-6_amd64.deb	2014-03-20 04:53	456K