data/haskell-cryptol-2.8.0/CHANGES.md:                                         ASCII text
data/haskell-cryptol-2.8.0/LICENSE:                                            ASCII text
data/haskell-cryptol-2.8.0/Setup.hs:                                           ASCII text
data/haskell-cryptol-2.8.0/bench/Main.hs:                                      ASCII text
data/haskell-cryptol-2.8.0/bench/data/AES.cry:                                 ASCII text, with very long lines
data/haskell-cryptol-2.8.0/bench/data/BigSequence.cry:                         ASCII text, with very long lines
data/haskell-cryptol-2.8.0/bench/data/BigSequenceHex.cry:                      ASCII text, with very long lines, with no line terminators
data/haskell-cryptol-2.8.0/bench/data/PreludeWithExtras.cry:                   ASCII text
data/haskell-cryptol-2.8.0/bench/data/SHA512.cry:                              ASCII text, with very long lines
data/haskell-cryptol-2.8.0/bench/data/ZUC.cry:                                 ASCII text
data/haskell-cryptol-2.8.0/cryptol/Main.hs:                                    ASCII text
data/haskell-cryptol-2.8.0/cryptol/OptParser.hs:                               ASCII text
data/haskell-cryptol-2.8.0/cryptol/REPL/Haskeline.hs:                          ASCII text
data/haskell-cryptol-2.8.0/cryptol/REPL/Logo.hs:                               UTF-8 Unicode text
data/haskell-cryptol-2.8.0/lib/Cryptol.cry:                                    ASCII text
data/haskell-cryptol-2.8.0/lib/CryptolTC.z3:                                   ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Eval.hs:                                ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Eval/Arch.hs:                           ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Eval/Env.hs:                            ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Eval/Reference.lhs:                     ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Eval/Type.hs:                           ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Eval/Value.hs:                          ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Eval/Monad.hs:                          ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/IR/FreeVars.hs:                         ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem.hs:                        ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Base.hs:                   ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Env.hs:                    C source, ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Fingerprint.hs:            ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/InstantiateModule.hs:      ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Interface.hs:              ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Name.hs:                   ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/NamingEnv.hs:              ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Renamer.hs:                UTF-8 Unicode text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Exports.hs:                ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Monad.hs:                  ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser.y:                               ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/AST.hs:                          ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Fixity.hs:                       ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Lexer.x:                         ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/LexerUtils.hs:                   ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Name.hs:                         ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Names.hs:                        ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Position.hs:                     ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Selector.hs:                     ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Unlit.hs:                        LaTeX document, ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Utils.hs:                        ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/NoPat.hs:                        ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/ParserUtils.hs:                  ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/NoInclude.hs:                    ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Prelude.hs:                             ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Prims/Eval.hs:                          ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/REPL/Command.hs:                        UTF-8 Unicode text
data/haskell-cryptol-2.8.0/src/Cryptol/REPL/Monad.hs:                          ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/REPL/Trie.hs:                           ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Symbolic.hs:                            ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Symbolic/Prims.hs:                      ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Symbolic/Value.hs:                      ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Testing/Concrete.hs:                    ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Testing/Random.hs:                      ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Transform/AddModParams.hs:              ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Transform/MonoValues.hs:                ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Transform/Specialize.hs:                ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck.hs:                           ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/AST.hs:                       ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/CheckModuleInstance.hs:       ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Default.hs:                   ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Depends.hs:                   ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Error.hs:                     UTF-8 Unicode text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Infer.hs:                     ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/InferTypes.hs:                UTF-8 Unicode text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Instantiate.hs:               ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Kind.hs:                      ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/PP.hs:                        ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Parseable.hs:                 ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/SimpType.hs:                  ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/SimpleSolver.hs:              ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solve.hs:                     ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Class.hs:              ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Improve.hs:            ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/InfNat.hs:             ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Numeric.hs:            ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs:        ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:   ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/SMT.hs:                ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Selector.hs:           ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Types.hs:              ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Utils.hs:              ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Subst.hs:                     ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/TCon.hs:                      ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Type.hs:                      ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/TypeMap.hs:                   ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/TypeOf.hs:                    ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/TypePat.hs:                   ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Unify.hs:                     ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Monad.hs:                     ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Sanity.hs:                    ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Utils/Debug.hs:                         ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Utils/Ident.hs:                         ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Utils/Logger.hs:                        ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Utils/Misc.hs:                          ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Utils/PP.hs:                            ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Utils/Panic.hs:                         ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Utils/Patterns.hs:                      ASCII text
data/haskell-cryptol-2.8.0/src/Cryptol/Version.hs:                             ASCII text
data/haskell-cryptol-2.8.0/src/GitRev.hs:                                      ASCII text
data/haskell-cryptol-2.8.0/utils/CryHtml.hs:                                   a /usr/bin/env runhaskell script, ASCII text executable
data/haskell-cryptol-2.8.0/debian/changelog:                                   ASCII text
data/haskell-cryptol-2.8.0/debian/compat:                                      ASCII text
data/haskell-cryptol-2.8.0/debian/control:                                     ASCII text
data/haskell-cryptol-2.8.0/debian/copyright:                                   ASCII text
data/haskell-cryptol-2.8.0/debian/cryptol.install:                             ASCII text
data/haskell-cryptol-2.8.0/debian/cryptol.lintian-overrides:                   ASCII text
data/haskell-cryptol-2.8.0/debian/patches/newer-deps:                          unified diff output, ASCII text
data/haskell-cryptol-2.8.0/debian/patches/series:                              ASCII text
data/haskell-cryptol-2.8.0/debian/rules:                                       a /usr/bin/make -f script, ASCII text executable
data/haskell-cryptol-2.8.0/debian/source/format:                               ASCII text
data/haskell-cryptol-2.8.0/debian/watch:                                       ASCII text
data/haskell-cryptol-2.8.0/.pc/.version:                                       ASCII text
data/haskell-cryptol-2.8.0/.pc/.quilt_patches:                                 ASCII text
data/haskell-cryptol-2.8.0/.pc/.quilt_series:                                  ASCII text
data/haskell-cryptol-2.8.0/.pc/applied-patches:                                ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/cryptol.cabal:                       ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/Parser/NoPat.hs:         ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/Parser/ParserUtils.hs:   ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/Parser/NoInclude.hs:     ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/Eval/Monad.hs:           ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/IR/FreeVars.hs:          ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/ModuleSystem/Exports.hs: ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/ModuleSystem/Monad.hs:   ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/Utils/Patterns.hs:       ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/TypeCheck/Monad.hs:      ASCII text
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/TypeCheck/Sanity.hs:     ASCII text
data/haskell-cryptol-2.8.0/cryptol.cabal:                                      ASCII text