Index of /dload/vcsn/2.5

	Name	Last modified	Size	Description
	Parent Directory		-
	notebooks/	2017-01-31 15:05	-
	vcsn-2.5.tar.bz2	2017-01-31 14:53	25M
	vcsn-2.5.tar.xz	2017-01-31 14:53	14M
	vcsn.htmldir/	2017-01-31 15:32	-