This file is indexed.

/usr/lib/haskell-packages/ghc/ is in libghc-agda-dev 2.4.0.2-2+b1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/lib/haskell-packages/ghc/lib/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/libHSAgda-2.4.0.2.a application/x-archive root:root 0o644 49.4 MB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/CommandLine/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/CommandLine/CommandLine.hi application/octet-stream root:root 0o644 44.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Dot.hi application/octet-stream root:root 0o644 15.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Emacs.hi application/octet-stream root:root 0o644 9.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Generate.hi application/octet-stream root:root 0o644 39.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/HTML.hi application/octet-stream root:root 0o644 9.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Precise.hi application/octet-stream root:root 0o644 92.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Range.hi application/octet-stream root:root 0o644 23.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Vim.hi application/octet-stream root:root 0o644 15.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/LaTeX.hi application/octet-stream root:root 0o644 16.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Options/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Options/Lenses.hi application/octet-stream root:root 0o644 43.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/BasicOps.hi application/octet-stream root:root 0o644 99.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/EmacsTop.hi application/octet-stream root:root 0o644 20.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/InteractionTop.hi application/octet-stream root:root 0o644 132.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/EmacsCommand.hi application/octet-stream root:root 0o644 8.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Exceptions.hi application/octet-stream root:root 0o644 5.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/FindFile.hi application/octet-stream root:root 0o644 21.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Imports.hi application/octet-stream root:root 0o644 48.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Response.hi application/octet-stream root:root 0o644 10.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/MakeCase.hi application/octet-stream root:root 0o644 22.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Monad.hi application/octet-stream root:root 0o644 14.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Options.hi application/octet-stream root:root 0o644 91.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/AuxAST.hi application/octet-stream root:root 0o644 33.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/CaseOpts.hi application/octet-stream root:root 0o644 9.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Compiler.hi application/octet-stream root:root 0o644 17.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/CompileState.hi application/octet-stream root:root 0o644 43.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Epic.hi application/octet-stream root:root 0o644 8.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Erasure.hi application/octet-stream root:root 0o644 21.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/ForceConstrs.hi application/octet-stream root:root 0o644 10.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Forcing.hi application/octet-stream root:root 0o644 25.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/FromAgda.hi application/octet-stream root:root 0o644 20.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Injection.hi application/octet-stream root:root 0o644 47.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Interface.hi application/octet-stream root:root 0o644 27.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/NatDetection.hi application/octet-stream root:root 0o644 13.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Primitive.hi application/octet-stream root:root 0o644 31.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Smashing.hi application/octet-stream root:root 0o644 15.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Static.hi application/octet-stream root:root 0o644 19.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Case.hi application/octet-stream root:root 0o644 15.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Compiler.hi application/octet-stream root:root 0o644 50.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Syntax.hi application/octet-stream root:root 0o644 38.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Substitution.hi application/octet-stream root:root 0o644 13.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Parser.hi application/octet-stream root:root 0o644 42.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Pretty.hi application/octet-stream root:root 0o644 12.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Compiler.hi application/octet-stream root:root 0o644 61.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Encode.hi application/octet-stream root:root 0o644 17.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Misc.hi application/octet-stream root:root 0o644 30.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Pretty.hi application/octet-stream root:root 0o644 10.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Primitives.hi application/octet-stream root:root 0o644 101.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/CallCompiler.hi application/octet-stream root:root 0o644 9.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/HaskellTypes.hi application/octet-stream root:root 0o644 23.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Copatterns.hi application/octet-stream root:root 0o644 49.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Name.hi application/octet-stream root:root 0o644 60.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Pretty.hi application/octet-stream root:root 0o644 12.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Views.hi application/octet-stream root:root 0o644 26.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Operators/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Operators/Parser.hi application/octet-stream root:root 0o644 25.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Definitions.hi application/octet-stream root:root 0o644 40.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Generic.hi application/octet-stream root:root 0o644 36.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Name.hi application/octet-stream root:root 0o644 38.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Operators.hi application/octet-stream root:root 0o644 34.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Pretty.hi application/octet-stream root:root 0o644 81.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal/Defs.hi application/octet-stream root:root 0o644 21.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal/Generic.hi application/octet-stream root:root 0o644 50.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal/Pattern.hi application/octet-stream root:root 0o644 14.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Alex.hi application/octet-stream root:root 0o644 7.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Comments.hi application/octet-stream root:root 0o644 11.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Layout.hi application/octet-stream root:root 0o644 10.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/LexActions.hi application/octet-stream root:root 0o644 18.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Lexer.hi application/octet-stream root:root 0o644 12.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/LookAhead.hi application/octet-stream root:root 0o644 23.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Monad.hi application/octet-stream root:root 0o644 33.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Parser.hi application/octet-stream root:root 0o644 22.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/StringLiterals.hi application/octet-stream root:root 0o644 9.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Tokens.hi application/octet-stream root:root 0o644 28.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Scope/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Scope/Base.hi application/octet-stream root:root 0o644 112.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Scope/Monad.hi application/octet-stream root:root 0o644 67.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Translation/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Translation/AbstractToConcrete.hi application/octet-stream root:root 0o644 122.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Translation/ConcreteToAbstract.hi application/octet-stream root:root 0o644 92.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Translation/InternalToAbstract.hi application/octet-stream root:root 0o644 113.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract.hi application/octet-stream root:root 0o644 111.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Common.hi application/octet-stream root:root 0o644 184.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete.hi application/octet-stream root:root 0o644 106.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Fixity.hi application/octet-stream root:root 0o644 31.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Info.hi application/octet-stream root:root 0o644 42.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal.hi application/octet-stream root:root 0o644 155.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Literal.hi application/octet-stream root:root 0o644 12.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Notation.hi application/octet-stream root:root 0o644 15.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser.hi application/octet-stream root:root 0o644 11.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Position.hi application/octet-stream root:root 0o644 199.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/CallGraph.hi application/octet-stream root:root 0o644 23.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/CallMatrix.hi application/octet-stream root:root 0o644 47.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/CutOff.hi application/octet-stream root:root 0o644 5.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Inlining.hi application/octet-stream root:root 0o644 14.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Monad.hi application/octet-stream root:root 0o644 78.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Order.hi application/octet-stream root:root 0o644 24.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/RecCheck.hi application/octet-stream root:root 0o644 13.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/SparseMatrix.hi application/octet-stream root:root 0o644 128.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Semiring.hi application/octet-stream root:root 0o644 11.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/TermCheck.hi application/octet-stream root:root 0o644 36.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Termination.hi application/octet-stream root:root 0o644 35.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause/Compile.hi application/octet-stream root:root 0o644 17.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause/Match.hi application/octet-stream root:root 0o644 13.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Coverage/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Coverage/Match.hi application/octet-stream root:root 0o644 19.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Coverage/SplitTree.hi application/octet-stream root:root 0o644 18.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/MetaVars/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/MetaVars/Mention.hi application/octet-stream root:root 0o644 18.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/MetaVars/Occurs.hi application/octet-stream root:root 0o644 82.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base/Benchmark.hi application/octet-stream root:root 0o644 15.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base/KillRange.hi application/octet-stream root:root 0o644 19.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base.hi application/octet-stream root:root 0o644 362.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Benchmark.hi application/octet-stream root:root 0o644 17.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Builtin.hi application/octet-stream root:root 0o644 52.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Closure.hi application/octet-stream root:root 0o644 8.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Constraints.hi application/octet-stream root:root 0o644 27.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Context.hi application/octet-stream root:root 0o644 71.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Debug.hi application/octet-stream root:root 0o644 1.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Env.hi application/octet-stream root:root 0o644 22.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Exception.hi application/octet-stream root:root 0o644 34.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Imports.hi application/octet-stream root:root 0o644 23.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/MetaVars.hi application/octet-stream root:root 0o644 73.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Mutual.hi application/octet-stream root:root 0o644 22.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Open.hi application/octet-stream root:root 0o644 12.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Options.hi application/octet-stream root:root 0o644 60.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Sharing.hi application/octet-stream root:root 0o644 14.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Signature.hi application/octet-stream root:root 0o644 85.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/SizedTypes.hi application/octet-stream root:root 0o644 43.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/State.hi application/octet-stream root:root 0o644 42.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Statistics.hi application/octet-stream root:root 0o644 8.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Trace.hi application/octet-stream root:root 0o644 15.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Patterns/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Patterns/Abstract.hi application/octet-stream root:root 0o644 13.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Pointer.hi application/octet-stream root:root 0o644 17.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Patterns/Match.hi application/octet-stream root:root 0o644 18.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Reduce/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Reduce/Monad.hi application/octet-stream root:root 0o644 23.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin/Coinduction.hi application/octet-stream root:root 0o644 31.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Implicit.hi application/octet-stream root:root 0o644 17.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Instantiate.hi application/octet-stream root:root 0o644 15.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Problem.hi application/octet-stream root:root 0o644 53.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/ProblemRest.hi application/octet-stream root:root 0o644 14.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Split.hi application/octet-stream root:root 0o644 16.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Unify.hi application/octet-stream root:root 0o644 169.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin.hi application/octet-stream root:root 0o644 22.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Data.hi application/octet-stream root:root 0o644 28.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Decl.hi application/octet-stream root:root 0o644 41.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Def.hi application/octet-stream root:root 0o644 26.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS.hi application/octet-stream root:root 0o644 27.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Record.hi application/octet-stream root:root 0o644 16.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Term.hi application/octet-stream root:root 0o644 59.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/Solve.hi application/octet-stream root:root 0o644 42.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/Syntax.hi application/octet-stream root:root 0o644 64.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/Tests.hi application/octet-stream root:root 0o644 55.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/Utils.hi application/octet-stream root:root 0o644 2.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/WarshallSolver.hi application/octet-stream root:root 0o644 108.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Test/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Test/Generators.hi application/octet-stream root:root 0o644 101.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Abstract.hi application/octet-stream root:root 0o644 18.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CheckInternal.hi application/octet-stream root:root 0o644 13.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause.hi application/octet-stream root:root 0o644 44.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Constraints.hi application/octet-stream root:root 0o644 38.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Conversion.hi application/octet-stream root:root 0o644 36.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Coverage.hi application/octet-stream root:root 0o644 32.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Datatypes.hi application/octet-stream root:root 0o644 25.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/DisplayForm.hi application/octet-stream root:root 0o644 21.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/DropArgs.hi application/octet-stream root:root 0o644 11.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Empty.hi application/octet-stream root:root 0o644 10.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/EtaContract.hi application/octet-stream root:root 0o644 14.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Errors.hi application/octet-stream root:root 0o644 30.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Free.hi application/octet-stream root:root 0o644 26.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Forcing.hi application/octet-stream root:root 0o644 10.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Implicit.hi application/octet-stream root:root 0o644 15.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Injectivity.hi application/octet-stream root:root 0o644 16.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/InstanceArguments.hi application/octet-stream root:root 0o644 19.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Irrelevance.hi application/octet-stream root:root 0o644 18.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Level.hi application/octet-stream root:root 0o644 30.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/LevelConstraints.hi application/octet-stream root:root 0o644 10.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/MetaVars.hi application/octet-stream root:root 0o644 78.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad.hi application/octet-stream root:root 0o644 63.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/Auto.hi application/octet-stream root:root 0o644 18.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Polarity.hi application/octet-stream root:root 0o644 30.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Positivity.hi application/octet-stream root:root 0o644 69.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Pretty.hi application/octet-stream root:root 0o644 74.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Primitive.hi application/octet-stream root:root 0o644 193.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/ProjectionLike.hi application/octet-stream root:root 0o644 17.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Quote.hi application/octet-stream root:root 0o644 54.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/RecordPatterns.hi application/octet-stream root:root 0o644 34.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Records.hi application/octet-stream root:root 0o644 61.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Reduce.hi application/octet-stream root:root 0o644 184.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Serialise.hi application/octet-stream root:root 0o644 290.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes.hi application/octet-stream root:root 0o644 40.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Substitute.hi application/octet-stream root:root 0o644 145.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SyntacticEquality.hi application/octet-stream root:root 0o644 80.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Telescope.hi application/octet-stream root:root 0o644 17.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Tests.hi application/octet-stream root:root 0o644 17.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/With.hi application/octet-stream root:root 0o644 16.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Graph/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Graph/AdjacencyMap/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hi application/octet-stream root:root 0o644 109.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Graph/AdjacencyMap.hi application/octet-stream root:root 0o644 76.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/IO/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/IO/Binary.hi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/IO/UTF8.hi application/octet-stream root:root 0o644 3.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Maybe/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Maybe/Strict.hi application/octet-stream root:root 0o644 35.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/BiMap.hi application/octet-stream root:root 0o644 29.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Char.hi application/octet-stream root:root 0o644 2.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Cluster.hi application/octet-stream root:root 0o644 17.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Either.hi application/octet-stream root:root 0o644 8.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Pointed.hi application/octet-stream root:root 0o644 1.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Favorites.hi application/octet-stream root:root 0o644 32.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/FileName.hi application/octet-stream root:root 0o644 15.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Fresh.hi application/octet-stream root:root 0o644 3.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Functor.hi application/octet-stream root:root 0o644 9.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Function.hi application/octet-stream root:root 0o644 4.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Geniplate.hi application/octet-stream root:root 0o644 12.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Hash.hi application/octet-stream root:root 0o644 4.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/HashMap.hi application/octet-stream root:root 0o644 2.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Impossible.hi application/octet-stream root:root 0o644 6.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/List.hi application/octet-stream root:root 0o644 34.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Map.hi application/octet-stream root:root 0o644 8.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Maybe.hi application/octet-stream root:root 0o644 5.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Monad.hi application/octet-stream root:root 0o644 19.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Null.hi application/octet-stream root:root 0o644 2.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/PartialOrd.hi application/octet-stream root:root 0o644 83.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Permutation.hi application/octet-stream root:root 0o644 33.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Pretty.hi application/octet-stream root:root 0o644 6.7 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/QuickCheck.hi application/octet-stream root:root 0o644 8.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/ReadP.hi application/octet-stream root:root 0o644 45.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/SemiRing.hi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Size.hi application/octet-stream root:root 0o644 4.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/String.hi application/octet-stream root:root 0o644 5.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Suffix.hi application/octet-stream root:root 0o644 6.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/TestHelpers.hi application/octet-stream root:root 0o644 13.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Time.hi application/octet-stream root:root 0o644 1.4 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Trie.hi application/octet-stream root:root 0o644 17.9 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Tuple.hi application/octet-stream root:root 0o644 16.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Unicode.hi application/octet-stream root:root 0o644 1.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Update.hi application/octet-stream root:root 0o644 40.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/VarSet.hi application/octet-stream root:root 0o644 1.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Warshall.hi application/octet-stream root:root 0o644 65.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/Convert.hi application/octet-stream root:root 0o644 52.8 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/Typecheck.hi application/octet-stream root:root 0o644 36.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/NarrowingSearch.hi application/octet-stream root:root 0o644 47.2 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/Syntax.hi application/octet-stream root:root 0o644 25.0 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/SearchControl.hi application/octet-stream root:root 0o644 30.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/CaseSplit.hi application/octet-stream root:root 0o644 22.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Main.hi application/octet-stream root:root 0o644 40.3 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/ImpossibleTest.hi application/octet-stream root:root 0o644 1.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Tests.hi application/octet-stream root:root 0o644 14.1 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TheTypeChecker.hi application/octet-stream root:root 0o644 9.6 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Version.hi application/octet-stream root:root 0o644 1.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Paths_Agda.hi application/octet-stream root:root 0o644 7.5 KB
/usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/HSAgda-2.4.0.2.o application/x-object root:root 0o644 36.3 MB