data/maria-1.3.5/Automata/Ltl/LtlGraph.C: C source, ISO-8859 text data/maria-1.3.5/Automata/Ltl/Ltl.C: C source, ISO-8859 text data/maria-1.3.5/Automata/Ltl/Ltl.h: C++ source, ISO-8859 text data/maria-1.3.5/Automata/Ltl/LtlBitVector.C: C source, ASCII text data/maria-1.3.5/Automata/Ltl/LtlBitVector.h: C++ source, ISO-8859 text data/maria-1.3.5/Automata/Ltl/LtlGraph.h: C++ source, ISO-8859 text data/maria-1.3.5/Automata/Ltl/README: ISO-8859 text data/maria-1.3.5/Automata/BitVector.C: C source, ISO-8859 text data/maria-1.3.5/Automata/BitVector.h: C++ source, ISO-8859 text data/maria-1.3.5/Automata/Product.C: C++ source, ISO-8859 text data/maria-1.3.5/Automata/Product.h: C++ source, ISO-8859 text data/maria-1.3.5/Automata/Property.C: C source, ISO-8859 text data/maria-1.3.5/Automata/Property.h: C++ source, ISO-8859 text data/maria-1.3.5/Automata/PropertyState.C: C source, ISO-8859 text data/maria-1.3.5/Automata/PropertyState.h: C++ source, ISO-8859 text data/maria-1.3.5/Automata/SetList.C: C source, ISO-8859 text data/maria-1.3.5/Automata/SetList.h: C++ source, ISO-8859 text data/maria-1.3.5/Automata/property.html: HTML document, ISO-8859 text data/maria-1.3.5/Doxyfile: ASCII text data/maria-1.3.5/INSTALL: ISO-8859 text data/maria-1.3.5/Makefile: ASCII text data/maria-1.3.5/Makefile.BSD: makefile script, ASCII text data/maria-1.3.5/Makefile.Darwin: makefile script, ASCII text data/maria-1.3.5/Makefile.HP-UX: makefile script, ASCII text data/maria-1.3.5/Makefile.IRIX64: makefile script, ASCII text data/maria-1.3.5/Makefile.OSF1: makefile script, ASCII text data/maria-1.3.5/Makefile.SunOS: makefile script, ASCII text data/maria-1.3.5/Makefile.win32: makefile script, ASCII text data/maria-1.3.5/foldname.pl: Perl script text executable data/maria-1.3.5/maria-cso: POSIX shell script, ASCII text executable data/maria-1.3.5/maria-cso.1: troff or preprocessor input, ASCII text data/maria-1.3.5/maria-vis.1: troff or preprocessor input, ASCII text data/maria-1.3.5/maria-vis.tcl: POSIX shell script, ISO-8859 text executable data/maria-1.3.5/maria.1: troff or preprocessor input, ASCII text data/maria-1.3.5/Compilation/base/CExpression.C: C source, ISO-8859 text data/maria-1.3.5/Compilation/base/CExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Compilation/base/Compilation.C: C source, ISO-8859 text data/maria-1.3.5/Compilation/base/Compilation.h: C++ source, ISO-8859 text data/maria-1.3.5/Compilation/runtime/bushfcn.h: C source, ISO-8859 text data/maria-1.3.5/Compilation/runtime/Error.h: C source, ISO-8859 text data/maria-1.3.5/Compilation/runtime/bush.h: C source, ISO-8859 text data/maria-1.3.5/Compilation/runtime/bushpriv.h: C source, ISO-8859 text data/maria-1.3.5/Compilation/runtime/codec.h: C source, ISO-8859 text data/maria-1.3.5/Compilation/runtime/codecfcn.h: C source, ISO-8859 text data/maria-1.3.5/Compilation/runtime/event.h: C source, ISO-8859 text data/maria-1.3.5/Compilation/runtime/eventpriv.h: C source, ISO-8859 text data/maria-1.3.5/Compilation/runtime/statefcn.h: C source, ISO-8859 text data/maria-1.3.5/Compilation/runtime/token.h: ISO-8859 text data/maria-1.3.5/Compilation/runtime/types.h: C source, ISO-8859 text data/maria-1.3.5/Expression/BinopExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/BinopExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/BooleanBinop.C: C source, ISO-8859 text data/maria-1.3.5/Expression/BooleanBinop.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/BufferExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/BufferExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/BufferIndex.C: C source, ISO-8859 text data/maria-1.3.5/Expression/BufferIndex.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/BufferRemove.C: C source, ISO-8859 text data/maria-1.3.5/Expression/BufferRemove.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/BufferUnop.C: C source, ISO-8859 text data/maria-1.3.5/Expression/BufferUnop.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/BufferWrite.C: C source, ISO-8859 text data/maria-1.3.5/Expression/BufferWrite.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/CardinalityExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/CardinalityExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Constant.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Constant.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/EmptySet.C: C source, ISO-8859 text data/maria-1.3.5/Expression/EmptySet.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Expression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Expression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/ExpressionList.C: C source, ISO-8859 text data/maria-1.3.5/Expression/ExpressionList.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/ExpressionMSet.C: C source, ISO-8859 text data/maria-1.3.5/Expression/ExpressionMSet.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/ExpressionSet.C: C source, ISO-8859 text data/maria-1.3.5/Expression/ExpressionSet.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Function.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Function.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/IfThenElse.C: C source, ISO-8859 text data/maria-1.3.5/Expression/IfThenElse.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Mapping.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Mapping.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Marking.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Marking.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/NotExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/NotExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/PlaceContents.C: C source, ISO-8859 text data/maria-1.3.5/Expression/PlaceContents.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Quantifier.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Quantifier.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/RelopExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/RelopExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/SetExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/SetExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/StructAssign.C: C source, ISO-8859 text data/maria-1.3.5/Expression/StructAssign.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/StructComponent.C: C source, ISO-8859 text data/maria-1.3.5/Expression/StructComponent.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/StructExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/StructExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Submarking.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Submarking.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Substitution.C: C source, ISO-8859 text data/maria-1.3.5/Expression/TemporalBinop.C: C source, ISO-8859 text data/maria-1.3.5/Expression/TemporalBinop.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/TemporalUnop.C: C source, ISO-8859 text data/maria-1.3.5/Expression/TemporalUnop.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Token.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Token.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/TransitionQualifier.C: C source, ISO-8859 text data/maria-1.3.5/Expression/TransitionQualifier.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Typecast.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Typecast.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Undefined.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Undefined.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/UnionComponent.C: C source, ISO-8859 text data/maria-1.3.5/Expression/UnionComponent.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/UnionExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/UnionExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/UnionTypeExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/UnionTypeExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/UnopExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/UnopExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/Variable.C: C source, ISO-8859 text data/maria-1.3.5/Expression/Variable.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/VariableSet.C: C source, ISO-8859 text data/maria-1.3.5/Expression/VectorAssign.C: C source, ISO-8859 text data/maria-1.3.5/Expression/VectorAssign.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/VectorExpression.C: C source, ISO-8859 text data/maria-1.3.5/Expression/VectorExpression.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/VectorIndex.C: C source, ISO-8859 text data/maria-1.3.5/Expression/VectorIndex.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/VectorShift.C: C source, ISO-8859 text data/maria-1.3.5/Expression/VectorShift.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/allExpressions.h: C source, ISO-8859 text data/maria-1.3.5/Expression/Substitution.h: C++ source, ISO-8859 text data/maria-1.3.5/Expression/VariableSet.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/BitBuffer.C: C source, ISO-8859 text data/maria-1.3.5/Graph/BTree.C: C source, ISO-8859 text data/maria-1.3.5/Graph/BTree.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/BitBuffer.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/ByteBuffer.C: C source, ISO-8859 text data/maria-1.3.5/Graph/ByteBuffer.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/CompactSet.C: C source, ISO-8859 text data/maria-1.3.5/Graph/CompactSet.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/ComponentGraph.C: C source, ISO-8859 text data/maria-1.3.5/Graph/ComponentGraph.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/DummyReporter.C: C source, ISO-8859 text data/maria-1.3.5/Graph/DummyReporter.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/FullSet.C: C source, ISO-8859 text data/maria-1.3.5/Graph/FullSet.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/Graph.C: C source, ISO-8859 text data/maria-1.3.5/Graph/Graph.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/GraphReporter.C: C source, ISO-8859 text data/maria-1.3.5/Graph/GraphReporter.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/HashGraph.C: C source, ISO-8859 text data/maria-1.3.5/Graph/HashGraph.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/LSTS.C: C source, ISO-8859 text data/maria-1.3.5/Graph/LSTS.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/ParSet.C: C source, ISO-8859 text data/maria-1.3.5/Graph/ParSet.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/Search.C: C source, ISO-8859 text data/maria-1.3.5/Graph/Search.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/StateList.C: C source, ISO-8859 text data/maria-1.3.5/Graph/StateList.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/StateReporter.C: C source, ISO-8859 text data/maria-1.3.5/Graph/StateReporter.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/StateSet.C: C source, ISO-8859 text data/maria-1.3.5/Graph/StateSet.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/StateSetReporter.C: C source, ISO-8859 text data/maria-1.3.5/Graph/StateSetReporter.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/States.C: C source, ISO-8859 text data/maria-1.3.5/Graph/States.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/SyncStates.C: C source, ISO-8859 text data/maria-1.3.5/Graph/SyncStates.h: C++ source, ISO-8859 text data/maria-1.3.5/Graph/file.h: C source, ISO-8859 text data/maria-1.3.5/Graph/fileformat.html: HTML document, ASCII text data/maria-1.3.5/Net/Transition.C: C source, ISO-8859 text data/maria-1.3.5/Net/Arc.C: C source, ISO-8859 text data/maria-1.3.5/Net/Arc.h: C++ source, ISO-8859 text data/maria-1.3.5/Net/LNet.C: C source, ISO-8859 text data/maria-1.3.5/Net/GlobalMarking.C: C source, ISO-8859 text data/maria-1.3.5/Net/GlobalMarking.h: C++ source, ISO-8859 text data/maria-1.3.5/Net/LNet.h: C++ source, ISO-8859 text data/maria-1.3.5/Net/Net.C: C source, ISO-8859 text data/maria-1.3.5/Net/Net.h: C++ source, ISO-8859 text data/maria-1.3.5/Net/Place.C: C source, ISO-8859 text data/maria-1.3.5/Net/Place.h: C++ source, ISO-8859 text data/maria-1.3.5/Net/PlaceMarking.C: C source, ISO-8859 text data/maria-1.3.5/Net/Transition.h: C++ source, ISO-8859 text data/maria-1.3.5/Net/VariableDefinition.C: C source, ISO-8859 text data/maria-1.3.5/Net/VariableDefinition.h: C++ source, ISO-8859 text data/maria-1.3.5/Net/PlaceMarking.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/BoolType.C: C source, ISO-8859 text data/maria-1.3.5/Type/BoolType.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/BufferType.C: C source, ISO-8859 text data/maria-1.3.5/Type/BufferType.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/CardType.C: C source, ISO-8859 text data/maria-1.3.5/Type/CardType.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/CharType.C: C source, ISO-8859 text data/maria-1.3.5/Type/CharType.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/ComponentList.C: C source, ISO-8859 text data/maria-1.3.5/Type/ComponentList.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/Constraint.C: C source, ISO-8859 text data/maria-1.3.5/Type/Constraint.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/EnumType.C: C source, ISO-8859 text data/maria-1.3.5/Type/EnumType.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/IdType.C: C source, ISO-8859 text data/maria-1.3.5/Type/IdType.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/IntType.C: C source, ISO-8859 text data/maria-1.3.5/Type/IntType.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/Range.C: C source, ISO-8859 text data/maria-1.3.5/Type/Range.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/StructType.C: C source, ISO-8859 text data/maria-1.3.5/Type/StructType.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/Type.C: C source, ISO-8859 text data/maria-1.3.5/Type/Type.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/UnionType.C: C source, ISO-8859 text data/maria-1.3.5/Type/UnionType.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/VectorType.C: C source, ISO-8859 text data/maria-1.3.5/Type/VectorType.h: C++ source, ISO-8859 text data/maria-1.3.5/Type/allTypes.h: C source, ISO-8859 text data/maria-1.3.5/Type/typedefs.h: C source, ISO-8859 text data/maria-1.3.5/Value/BufferValue.C: C source, ISO-8859 text data/maria-1.3.5/Value/BufferValue.h: C++ source, ISO-8859 text data/maria-1.3.5/Value/Error.h: C source, ISO-8859 text data/maria-1.3.5/Value/LeafValue.C: C source, ISO-8859 text data/maria-1.3.5/Value/LeafValue.h: C++ source, ISO-8859 text data/maria-1.3.5/Value/StructValue.C: C source, ISO-8859 text data/maria-1.3.5/Value/StructValue.h: C++ source, ISO-8859 text data/maria-1.3.5/Value/UnionValue.C: C source, ISO-8859 text data/maria-1.3.5/Value/UnionValue.h: C++ source, ISO-8859 text data/maria-1.3.5/Value/Valuation.h: C++ source, ISO-8859 text data/maria-1.3.5/Value/Value.C: C source, ISO-8859 text data/maria-1.3.5/Value/Value.h: C++ source, ISO-8859 text data/maria-1.3.5/Value/ValueList.C: C source, ISO-8859 text data/maria-1.3.5/Value/ValueList.h: C++ source, ISO-8859 text data/maria-1.3.5/Value/VectorValue.C: C source, ISO-8859 text data/maria-1.3.5/Value/VectorValue.h: C++ source, ISO-8859 text data/maria-1.3.5/Value/allValues.h: C source, ISO-8859 text data/maria-1.3.5/Value/Valuation.C: C source, ISO-8859 text data/maria-1.3.5/doc/maria.texinfo: TeX document, ASCII text data/maria-1.3.5/elisp/pn-mode.el: Lisp/Scheme program, ISO-8859 text data/maria-1.3.5/elisp/sdl-mode.el: Lisp/Scheme program, ISO-8859 text data/maria-1.3.5/parser/NameList.C: C source, ISO-8859 text data/maria-1.3.5/parser/Dotty.C: C source, ISO-8859 text data/maria-1.3.5/parser/Dotty.h: C++ source, ISO-8859 text data/maria-1.3.5/parser/test/buffer.pn: ASCII text data/maria-1.3.5/parser/test/const.pn: ASCII text data/maria-1.3.5/parser/test/dbm.pn: ISO-8859 text data/maria-1.3.5/parser/test/dining.pn: ASCII text data/maria-1.3.5/parser/test/init.pn: ASCII text data/maria-1.3.5/parser/test/modular.pn: C source, ASCII text data/maria-1.3.5/parser/test/mutex.pn: ASCII text data/maria-1.3.5/parser/test/object.pn: C++ source, ASCII text data/maria-1.3.5/parser/test/order.pn: ASCII text data/maria-1.3.5/parser/test/output.pn: ASCII text data/maria-1.3.5/parser/test/quant.pn: ASCII text data/maria-1.3.5/parser/test/queens.pn: ISO-8859 text data/maria-1.3.5/parser/test/resource.pn: ASCII text data/maria-1.3.5/parser/test/swn-m.pn: C source, ISO-8859 text data/maria-1.3.5/parser/test/swn.pn: ISO-8859 text data/maria-1.3.5/parser/test/sync.pn: ASCII text data/maria-1.3.5/parser/test/typecast.pn: ASCII text data/maria-1.3.5/parser/Printer.C: C source, ISO-8859 text data/maria-1.3.5/parser/Printer.h: C++ source, ISO-8859 text data/maria-1.3.5/parser/StringBuffer.C: C source, ISO-8859 text data/maria-1.3.5/parser/StringBuffer.h: C++ source, ISO-8859 text data/maria-1.3.5/parser/VariableStackMap.h: C++ source, ISO-8859 text data/maria-1.3.5/parser/cmdline.c: C source, ISO-8859 text data/maria-1.3.5/parser/cmdline.h: C source, ISO-8859 text data/maria-1.3.5/parser/marde.lex: C source, ISO-8859 text data/maria-1.3.5/parser/marde.y: C source, ISO-8859 text data/maria-1.3.5/parser/maria.C: C source, ISO-8859 text data/maria-1.3.5/parser/maria.lex: C source, ISO-8859 text data/maria-1.3.5/parser/maria.y: C source, ISO-8859 text data/maria-1.3.5/parser/server.C: C++ source, ISO-8859 text data/maria-1.3.5/parser/server.h: C source, ISO-8859 text data/maria-1.3.5/parser/util.C: C source, ISO-8859 text data/maria-1.3.5/parser/util.h: C source, ISO-8859 text data/maria-1.3.5/parser/version.h: C source, ISO-8859 text data/maria-1.3.5/parser/lex.pn.C: C source, ISO-8859 text data/maria-1.3.5/parser/maria.tab.h: C source, ASCII text data/maria-1.3.5/parser/maria.tab.C: C source, ISO-8859 text data/maria-1.3.5/parser/marde.tab.h: C source, ASCII text data/maria-1.3.5/parser/marde.tab.C: C source, ISO-8859 text data/maria-1.3.5/parser/lex.de.C: C source, ISO-8859 text data/maria-1.3.5/parser/VariableStackMap.C: C source, ISO-8859 text data/maria-1.3.5/parser/NameList.h: C++ source, ISO-8859 text data/maria-1.3.5/port/snprintf.h: C source, ISO-8859 text data/maria-1.3.5/depend: ASCII text data/maria-1.3.5/debian/NEWS.Debian: ASCII text data/maria-1.3.5/debian/README.examples: ASCII text data/maria-1.3.5/debian/changelog: UTF-8 Unicode text data/maria-1.3.5/debian/compat: ASCII text data/maria-1.3.5/debian/control: ASCII text data/maria-1.3.5/debian/copyright: UTF-8 Unicode text data/maria-1.3.5/debian/emacsen-install: POSIX shell script, ASCII text executable data/maria-1.3.5/debian/emacsen-remove: POSIX shell script, ASCII text executable data/maria-1.3.5/debian/emacsen-startup: Lisp/Scheme program, ASCII text data/maria-1.3.5/debian/gbp.conf: ASCII text data/maria-1.3.5/debian/maria-doc.dirs: ASCII text data/maria-1.3.5/debian/maria-doc.doc-base: UTF-8 Unicode text data/maria-1.3.5/debian/maria-doc.info: ASCII text data/maria-1.3.5/debian/maria-doc.install: ASCII text data/maria-1.3.5/debian/maria.dirs: ASCII text data/maria-1.3.5/debian/maria.examples: ASCII text data/maria-1.3.5/debian/maria.install: ASCII text data/maria-1.3.5/debian/maria.manpages: ASCII text data/maria-1.3.5/debian/patches/compile_options: unified diff output, ASCII text data/maria-1.3.5/debian/patches/gcc4.6: unified diff output, ASCII text data/maria-1.3.5/debian/patches/lefty_path: unified diff output, ASCII text data/maria-1.3.5/debian/patches/series: ASCII text data/maria-1.3.5/debian/patches/utf8: unified diff output, ISO-8859 text data/maria-1.3.5/debian/rules: a /usr/bin/make -f script, ASCII text executable data/maria-1.3.5/debian/source/format: ASCII text data/maria-1.3.5/debian/watch: ASCII text data/maria-1.3.5/.pc/.version: ASCII text data/maria-1.3.5/.pc/.quilt_patches: ASCII text data/maria-1.3.5/.pc/.quilt_series: ASCII text data/maria-1.3.5/.pc/applied-patches: ASCII text data/maria-1.3.5/.pc/lefty_path/maria-vis: a /usr/local/bin/lefty script, ISO-8859 text executable data/maria-1.3.5/.pc/compile_options/Makefile.Linux: makefile script, ASCII text data/maria-1.3.5/.pc/gcc4.6/parser/VariableStackMap.C: C source, ISO-8859 text data/maria-1.3.5/.pc/gcc4.6/parser/NameList.h: C++ source, ISO-8859 text data/maria-1.3.5/.pc/gcc4.6/Expression/Substitution.h: C++ source, ISO-8859 text data/maria-1.3.5/.pc/gcc4.6/Expression/VariableSet.h: C++ source, ISO-8859 text data/maria-1.3.5/.pc/gcc4.6/Net/PlaceMarking.h: C++ source, ISO-8859 text data/maria-1.3.5/.pc/gcc4.6/Value/Valuation.C: C source, ISO-8859 text data/maria-1.3.5/.pc/utf8/NEWS: ISO-8859 text data/maria-1.3.5/maria-vis: a /usr/bin/lefty script, ISO-8859 text executable data/maria-1.3.5/Makefile.Linux: makefile script, ASCII text data/maria-1.3.5/NEWS: UTF-8 Unicode text