Index of /repo/pkgs/gap-pkg-automata

	Name	Last modified	Size	Description
	Parent Directory		-
	automata-1.13.tar.gz/	2016-08-31 14:10	-
	automata-1.14.tar.bz2/	2019-02-17 21:30	-
	automata-1.15.tar.bz2/	2022-03-21 15:20	-