Index of /ubuntu/pool/universe/a/automaton

	Name	Last modified	Size	Description
	Parent Directory		-
	automaton_1.11-8+dfs..>	2012-12-02 13:33	2.7K
	automaton_1.11-8+dfs..>	2012-12-02 13:33	2.1K
	automaton_1.11-8+dfs..>	2012-12-02 13:33	84K
	libautomaton-java_1...>	2012-12-02 13:33	217K