Bestandenoverzicht voor pakket libghc6-agda-dev in squeeze voor het platform armel

/usr/lib/ghc-6.12.1/haddock/agda-2.2.6/Agda.haddock
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Auto.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Convert.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/NarrowingSearch.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Print.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/SearchControl.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Syntax.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Typecheck.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/Classify.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/Common.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/Main.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/OptimizedPrinter.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/TranslateName.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/UntypedPrinter.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Haskell.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Main.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Names.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/PatternMonad.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/HaskellTypes.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Compiler.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Encode.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Misc.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Pretty.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Primitives.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/BasicOps.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/CommandLine/CommandLine.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Exceptions.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/FindFile.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/GhciTop.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Emacs.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Generate.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/HTML.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Precise.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Range.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Vim.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Imports.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/MakeCase.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Monad.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Options.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Main.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract/Name.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract/Pretty.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract/Views.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Common.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Definitions.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Name.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Operators.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Operators/Parser.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Pretty.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Fixity.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Info.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Internal.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Internal/Generic.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Internal/Pattern.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Literal.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Alex.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Comments.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Layout.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/LexActions.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Lexer.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/LookAhead.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Monad.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Parser.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/StringLiterals.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Tokens.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Position.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Scope/Base.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Scope/Monad.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Strict.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation/AbstractToConcrete.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation/ConcreteToAbstract.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation/InternalToAbstract.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/CallGraph.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Lexicographic.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Matrix.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Semiring.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/TermCheck.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Termination.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Tests.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecker.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Abstract.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Constraints.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Conversion.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Coverage.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Coverage/Match.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/DisplayForm.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Empty.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Errors.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/EtaContract.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Free.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Implicit.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Injectivity.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Level.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/MetaVars.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/MetaVars/Occurs.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Base.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Builtin.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Closure.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Constraints.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Context.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Debug.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Env.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Exception.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Imports.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/MetaVars.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Mutual.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Open.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Options.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Signature.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/SizedTypes.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/State.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Statistics.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Trace.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Patterns/Match.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Polarity.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Positivity.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Pretty.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Primitive.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rebind.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Records.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Reduce.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Builtin.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Data.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Decl.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Def.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Implicit.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Instantiate.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Problem.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Split.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Unify.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Record.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Term.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Serialise.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/SizedTypes.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Substitute.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Telescope.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Test/Generators.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Tests.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/With.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Char.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Either.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/FileName.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Fresh.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Function.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Generics.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Graph.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Hash.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO/Binary.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO/Locale.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO/UTF8.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Impossible.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/List.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Map.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Maybe.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Monad.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Permutation.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Pointer.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Pretty.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/QuickCheck.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/ReadP.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/SemiRing.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Size.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/String.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Suffix.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/TestHelpers.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Trace.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Trie.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Tuple.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Unicode.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Warshall.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Version.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/HSAgda-2.2.6.o
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Paths_Agda.hi
/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/libHSAgda-2.2.6.a
/usr/share/doc/libghc6-agda-dev/README.gz
/usr/share/doc/libghc6-agda-dev/changelog.Debian.gz
/usr/share/doc/libghc6-agda-dev/copyright
/usr/share/libghc6-agda-dev/Agda.css
/var/lib/ghc-6.12.1/package.conf.d/Agda-2.2.6.conf