Index of /debian/pool/main/a/automaton

 Name                    Last modified       Size  Description

 Parent Directory        10-Jan-2021 00:00      -  
 automaton_1.11-8+dfs..> 03-Jan-2021 20:06     3k  
 automaton_1.11-8+dfs..> 03-Jan-2021 20:06     2k  
 automaton_1.11-8+dfs..> 02-Dec-2012 00:19     3k  
 automaton_1.11-8+dfs..> 02-Dec-2012 00:19     2k  
 automaton_1.11-8+dfs..> 02-Dec-2012 00:19    84k  
 libautomaton-java_1...> 03-Jan-2021 20:58   411k  
 libautomaton-java_1...> 02-Dec-2012 00:19   208k