Index of /vcsn

	Name	Last modified	Size
	Parent Directory		-
	vcsn-2.1.tar.xz	2016-01-20 15:42	965K
	vcsn-2.2.tar.xz	2016-04-06 16:26	1.1M
	vcsn-2.6.tar.xz	2017-11-14 13:16	14M
	vcsn-2.7.tar.xz	2018-03-29 19:20	14M
	vcsn-2.8.tar.xz	2018-05-15 09:16	14M