data/haskell-smtlib-1.1/CHANGES:                  ASCII text
data/haskell-smtlib-1.1/LICENSE:                  ASCII text, with very long lines
data/haskell-smtlib-1.1/Setup.hs:                 ASCII text
data/haskell-smtlib-1.1/smtLib.cabal:             ASCII text
data/haskell-smtlib-1.1/src/SMTLib1.hs:           ASCII text
data/haskell-smtlib-1.1/src/SMTLib1/AST.hs:       ASCII text
data/haskell-smtlib-1.1/src/SMTLib1/PP.hs:        ASCII text
data/haskell-smtlib-1.1/src/SMTLib1/QF_AUFBV.hs:  ASCII text
data/haskell-smtlib-1.1/src/SMTLib1/QF_BV.hs:     ASCII text
data/haskell-smtlib-1.1/src/SMTLib2.hs:           ASCII text
data/haskell-smtlib-1.1/src/SMTLib2/AST.hs:       ASCII text
data/haskell-smtlib-1.1/src/SMTLib2/Array.hs:     ASCII text
data/haskell-smtlib-1.1/src/SMTLib2/BitVector.hs: ASCII text
data/haskell-smtlib-1.1/src/SMTLib2/Compat1.hs:   ASCII text
data/haskell-smtlib-1.1/src/SMTLib2/Core.hs:      ASCII text
data/haskell-smtlib-1.1/src/SMTLib2/Int.hs:       ASCII text
data/haskell-smtlib-1.1/src/SMTLib2/PP.hs:        ASCII text
data/haskell-smtlib-1.1/debian/changelog:         ASCII text
data/haskell-smtlib-1.1/debian/compat:            ASCII text
data/haskell-smtlib-1.1/debian/control:           ASCII text
data/haskell-smtlib-1.1/debian/copyright:         ASCII text
data/haskell-smtlib-1.1/debian/rules:             a /usr/bin/make -f script, ASCII text executable
data/haskell-smtlib-1.1/debian/source/format:     ASCII text
data/haskell-smtlib-1.1/debian/watch:             ASCII text
data/haskell-smtlib-1.1/.pc/.version:             ASCII text
data/haskell-smtlib-1.1/.pc/.quilt_patches:       ASCII text
data/haskell-smtlib-1.1/.pc/.quilt_series:        ASCII text
data/haskell-smtlib-1.1/.pc/applied-patches:      empty