Listing Directory: ubuntu.ucr.ac.cr/pool/universe/s/sat4j/

	Name	Last modified	Size
	Parent Directory		-
	sat4j_2.3.2-1.debian.tar.gz	2012-12-19 10:05	11K
	sat4j_2.3.2-1.dsc	2012-12-19 10:05	1.2K
	sat4j_2.3.2-1_all.deb	2012-12-19 10:38	1.0M
	sat4j_2.3.2.orig.tar.gz	2012-12-19 10:05	14M
	sat4j_2.3.3-1.debian.tar.xz	2014-06-28 17:18	11K
	sat4j_2.3.3-1.dsc	2014-06-28 17:18	1.8K
	sat4j_2.3.3-1_all.deb	2014-06-28 17:28	384K
	sat4j_2.3.3.orig.tar.gz	2014-06-28 17:18	15M
	sat4j_2.3.5-0.2.debian.tar.xz	2016-11-04 23:39	16K
	sat4j_2.3.5-0.2.dsc	2016-11-04 23:39	1.8K
	sat4j_2.3.5-0.2_all.deb	2016-11-04 23:39	530K
	sat4j_2.3.5-0.3.debian.tar.xz	2018-05-04 19:28	17K
	sat4j_2.3.5-0.3.dsc	2018-05-04 19:28	2.0K
	sat4j_2.3.5-0.3_all.deb	2018-05-04 23:39	548K
	sat4j_2.3.5.orig.tar.gz	2016-11-03 17:29	13M