data/automaton-1.11-8+dfsg1/COPYING:                                                ASCII text
data/automaton-1.11-8+dfsg1/ChangeLog:                                              ASCII text
data/automaton-1.11-8+dfsg1/INSTALL:                                                ASCII text
data/automaton-1.11-8+dfsg1/README:                                                 ASCII text
data/automaton-1.11-8+dfsg1/build.xml:                                              XML 1.0 document, ASCII text
data/automaton-1.11-8+dfsg1/src/Unicode.txt:                                        Certificate
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/Automaton.java:                  HTML document, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/AutomatonMatcher.java:           HTML document, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/AutomatonProvider.java:          Java source, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/BasicAutomata.java:              Java source, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/BasicOperations.java:            Java source, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/Datatypes.java:                  C source, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/DatatypesAutomatonProvider.java: ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/MinimizationOperations.java:     Java source, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/RegExp.java:                     HTML document, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/RunAutomaton.java:               HTML document, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/ShuffleOperations.java:          HTML document, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/SpecialOperations.java:          Java source, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/State.java:                      HTML document, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/StatePair.java:                  HTML document, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/StringUnionOperations.java:      Java source, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/Transition.java:                 HTML document, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/TransitionComparator.java:       Java source, ASCII text
data/automaton-1.11-8+dfsg1/src/dk/brics/automaton/package.html:                    HTML document, ASCII text
data/automaton-1.11-8+dfsg1/debian/rules:                                           a /usr/bin/make -f script, ASCII text executable
data/automaton-1.11-8+dfsg1/debian/changelog:                                       ASCII text
data/automaton-1.11-8+dfsg1/debian/source/format:                                   ASCII text
data/automaton-1.11-8+dfsg1/debian/README.source:                                   ASCII text
data/automaton-1.11-8+dfsg1/debian/libautomaton-java.poms:                          ASCII text
data/automaton-1.11-8+dfsg1/debian/compat:                                          ASCII text
data/automaton-1.11-8+dfsg1/debian/copyright:                                       UTF-8 Unicode text
data/automaton-1.11-8+dfsg1/debian/pom.xml:                                         UTF-8 Unicode text
data/automaton-1.11-8+dfsg1/debian/control:                                         ASCII text
data/automaton-1.11-8+dfsg1/debian/libautomaton-java.javadoc:                       ASCII text
data/automaton-1.11-8+dfsg1/.pc/.version:                                           ASCII text
data/automaton-1.11-8+dfsg1/.pc/.quilt_patches:                                     ASCII text
data/automaton-1.11-8+dfsg1/.pc/.quilt_series:                                      ASCII text
data/automaton-1.11-8+dfsg1/.pc/applied-patches:                                    empty