Index of /vaucanson

	Name	Last modified	Size
	Parent Directory		-
	vaucanson-2.0.tar.xz	2014-07-26 20:14	633K
	vaucanson-2b.0.tar.xz	2013-11-12 20:38	424K
	vaucanson-2b.1.tar.xz	2013-11-14 21:04	432K
	vaucanson-2b.3.tar.xz	2014-02-08 20:46	475K