6.2.900.17

2 Automata

 (require unstable/automata) package: base

NOTE: This library is deprecated; use automata, instead.