Index of /lib/sw/civl/1.5/svcomp16/CIVL-1.5_2739_svcomp16/licenses

	Name	Last modified	Size	Description
	Parent Directory		-
	GPLv3	2015-11-01 01:19	34K
	LGPLv3	2015-11-01 01:19	7.5K
	LICENSE.antlr-3.txt	2015-11-01 01:19	1.5K
	LICENSE.antlr-4.txt	2015-11-01 01:19	1.5K
	LICENSE.civl.txt	2015-11-01 01:19	769