This package is 13.0 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/agda/libghc-agda-dev_2.3.2.2-1_amd64.deb
.
View its full control file here:
debian/control.
dependently typed functional programming language
This package depends on:
libghc-quickcheck-dev-2.6-409fc, libghc-array-dev-0.4.0.1-3b784, libghc-base-dev-4.6.0.1-8aa5d, libghc-binary-dev-0.5.1.1-72ed7, libghc-bytestring-dev-0.10.0.2-4f932, libghc-containers-dev-0.5.0.0-ab1da, libghc-deepseq-dev-1.3.0.1-5cc4c, libghc-directory-dev-1.2.0.1-91a78, libghc-filepath-dev-1.3.0.1-b12cb, libghc-geniplate-dev-0.6.0.3-3e00a, libghc-hashable-dev-1.2.1.0-7e831, libghc-hashtables-dev-1.0.1.8-14f0b, libghc-haskeline-dev-0.7.0.3-605ba, libghc-haskell-src-exts-dev-1.14.0-333a3, libghc-mtl-dev-2.1.2-94c72, libghc-parallel-dev-3.2.0.3-d6c02, libghc-pretty-dev-1.1.1.0-66181, libghc-process-dev-1.1.0.2-76e05, libghc-text-dev-0.11.3.1-e3885, libghc-time-dev-1.4.0.1-10dc4, libghc-unordered-containers-dev-0.2.3.0-9584b, libghc-xhtml-dev-3000.2.1-22b74, libghc-zlib-dev-0.5.4.1-13ba8.
This package does not recommend any other package.
This package suggests:
libghc-agda-doc.
This package does not conflict with any other package.
libghc-agda-dev 2.3.2.2-1 is in ubuntu - trusty / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Auto/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Auto/Auto.hi
|
application/octet-stream | root:root | 0o644 | 17.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Auto/CaseSplit.hi
|
application/octet-stream | root:root | 0o644 | 22.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Auto/Convert.hi
|
application/octet-stream | root:root | 0o644 | 50.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Auto/NarrowingSearch.hi
|
application/octet-stream | root:root | 0o644 | 47.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Auto/SearchControl.hi
|
application/octet-stream | root:root | 0o644 | 30.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Auto/Syntax.hi
|
application/octet-stream | root:root | 0o644 | 23.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Auto/Typecheck.hi
|
application/octet-stream | root:root | 0o644 | 36.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/CallCompiler.hi
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/AuxAST.hi
|
application/octet-stream | root:root | 0o644 | 33.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.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.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/Compiler.hi
|
application/octet-stream | root:root | 0o644 | 16.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/CompileState.hi
|
application/octet-stream | root:root | 0o644 | 43.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/Epic.hi
|
application/octet-stream | root:root | 0o644 | 8.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.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.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/ForceConstrs.hi
|
application/octet-stream | root:root | 0o644 | 11.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/Forcing.hi
|
application/octet-stream | root:root | 0o644 | 24.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/FromAgda.hi
|
application/octet-stream | root:root | 0o644 | 20.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/Injection.hi
|
application/octet-stream | root:root | 0o644 | 38.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/Interface.hi
|
application/octet-stream | root:root | 0o644 | 27.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.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.3.2.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.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/Smashing.hi
|
application/octet-stream | root:root | 0o644 | 16.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/Epic/Static.hi
|
application/octet-stream | root:root | 0o644 | 11.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/HaskellTypes.hi
|
application/octet-stream | root:root | 0o644 | 22.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/JS/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/JS/Case.hi
|
application/octet-stream | root:root | 0o644 | 15.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/JS/Compiler.hi
|
application/octet-stream | root:root | 0o644 | 44.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/JS/Parser.hi
|
application/octet-stream | root:root | 0o644 | 42.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/JS/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 12.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/JS/Substitution.hi
|
application/octet-stream | root:root | 0o644 | 13.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/JS/Syntax.hi
|
application/octet-stream | root:root | 0o644 | 38.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/MAlonzo/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Compiler.hi
|
application/octet-stream | root:root | 0o644 | 62.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Encode.hi
|
application/octet-stream | root:root | 0o644 | 20.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Misc.hi
|
application/octet-stream | root:root | 0o644 | 33.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 13.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Primitives.hi
|
application/octet-stream | root:root | 0o644 | 106.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/ImpossibleTest.hi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/BasicOps.hi
|
application/octet-stream | root:root | 0o644 | 80.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/CommandLine/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/CommandLine/CommandLine.hi
|
application/octet-stream | root:root | 0o644 | 43.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/EmacsCommand.hi
|
application/octet-stream | root:root | 0o644 | 8.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Exceptions.hi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/FindFile.hi
|
application/octet-stream | root:root | 0o644 | 21.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/GhcTop.hi
|
application/octet-stream | root:root | 0o644 | 17.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Highlighting/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.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.3.2.2/ghc-7.6.3/Agda/Interaction/Highlighting/Emacs.hi
|
application/octet-stream | root:root | 0o644 | 10.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Highlighting/Generate.hi
|
application/octet-stream | root:root | 0o644 | 29.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Highlighting/HTML.hi
|
application/octet-stream | root:root | 0o644 | 11.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Highlighting/LaTeX.hi
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Highlighting/Precise.hi
|
application/octet-stream | root:root | 0o644 | 89.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Highlighting/Range.hi
|
application/octet-stream | root:root | 0o644 | 22.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Highlighting/Vim.hi
|
application/octet-stream | root:root | 0o644 | 15.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Imports.hi
|
application/octet-stream | root:root | 0o644 | 42.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/InteractionTop.hi
|
application/octet-stream | root:root | 0o644 | 142.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/MakeCase.hi
|
application/octet-stream | root:root | 0o644 | 20.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.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.3.2.2/ghc-7.6.3/Agda/Interaction/Options.hi
|
application/octet-stream | root:root | 0o644 | 94.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Interaction/Response.hi
|
application/octet-stream | root:root | 0o644 | 8.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Main.hi
|
application/octet-stream | root:root | 0o644 | 24.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Packaging/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Packaging/Config.hi
|
application/octet-stream | root:root | 0o644 | 987 bytes |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Packaging/Database.hi
|
application/octet-stream | root:root | 0o644 | 989 bytes |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Packaging/Monad.hi
|
application/octet-stream | root:root | 0o644 | 986 bytes |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Packaging/Types.hi
|
application/octet-stream | root:root | 0o644 | 986 bytes |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Abstract/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Abstract/Copatterns.hi
|
application/octet-stream | root:root | 0o644 | 48.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Abstract.hi
|
application/octet-stream | root:root | 0o644 | 89.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Abstract/Name.hi
|
application/octet-stream | root:root | 0o644 | 59.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Abstract/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 10.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Abstract/Views.hi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Common.hi
|
application/octet-stream | root:root | 0o644 | 116.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Concrete/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Concrete/Definitions.hi
|
application/octet-stream | root:root | 0o644 | 37.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Concrete.hi
|
application/octet-stream | root:root | 0o644 | 63.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Concrete/Name.hi
|
application/octet-stream | root:root | 0o644 | 34.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Concrete/Operators/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Concrete/Operators.hi
|
application/octet-stream | root:root | 0o644 | 33.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Concrete/Operators/Parser.hi
|
application/octet-stream | root:root | 0o644 | 26.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Concrete/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 68.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Fixity.hi
|
application/octet-stream | root:root | 0o644 | 31.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Info.hi
|
application/octet-stream | root:root | 0o644 | 39.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Internal/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Internal/Generic.hi
|
application/octet-stream | root:root | 0o644 | 35.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Internal.hi
|
application/octet-stream | root:root | 0o644 | 102.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Internal/Pattern.hi
|
application/octet-stream | root:root | 0o644 | 7.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Literal.hi
|
application/octet-stream | root:root | 0o644 | 13.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Notation.hi
|
application/octet-stream | root:root | 0o644 | 9.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Parser/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Parser/Alex.hi
|
application/octet-stream | root:root | 0o644 | 7.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Parser/Comments.hi
|
application/octet-stream | root:root | 0o644 | 12.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Parser.hi
|
application/octet-stream | root:root | 0o644 | 10.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Parser/Layout.hi
|
application/octet-stream | root:root | 0o644 | 10.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Parser/LexActions.hi
|
application/octet-stream | root:root | 0o644 | 19.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Parser/Lexer.hi
|
application/octet-stream | root:root | 0o644 | 12.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Parser/LookAhead.hi
|
application/octet-stream | root:root | 0o644 | 16.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Parser/Monad.hi
|
application/octet-stream | root:root | 0o644 | 32.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Parser/Parser.hi
|
application/octet-stream | root:root | 0o644 | 21.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.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.3.2.2/ghc-7.6.3/Agda/Syntax/Parser/Tokens.hi
|
application/octet-stream | root:root | 0o644 | 27.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Position.hi
|
application/octet-stream | root:root | 0o644 | 123.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Scope/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Scope/Base.hi
|
application/octet-stream | root:root | 0o644 | 108.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Scope/Monad.hi
|
application/octet-stream | root:root | 0o644 | 71.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Translation/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Translation/AbstractToConcrete.hi
|
application/octet-stream | root:root | 0o644 | 89.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Translation/ConcreteToAbstract.hi
|
application/octet-stream | root:root | 0o644 | 86.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Syntax/Translation/InternalToAbstract.hi
|
application/octet-stream | root:root | 0o644 | 55.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Termination/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Termination/CallGraph.hi
|
application/octet-stream | root:root | 0o644 | 60.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Termination/Lexicographic.hi
|
application/octet-stream | root:root | 0o644 | 43.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Termination/Matrix.hi
|
application/octet-stream | root:root | 0o644 | 107.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Termination/Semiring.hi
|
application/octet-stream | root:root | 0o644 | 10.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Termination/SparseMatrix.hi
|
application/octet-stream | root:root | 0o644 | 120.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Termination/TermCheck.hi
|
application/octet-stream | root:root | 0o644 | 24.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Termination/Termination.hi
|
application/octet-stream | root:root | 0o644 | 27.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Tests.hi
|
application/octet-stream | root:root | 0o644 | 14.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecker.hi
|
application/octet-stream | root:root | 0o644 | 9.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Abstract.hi
|
application/octet-stream | root:root | 0o644 | 15.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause/Compile.hi
|
application/octet-stream | root:root | 0o644 | 16.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause.hi
|
application/octet-stream | root:root | 0o644 | 42.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause/Match.hi
|
application/octet-stream | root:root | 0o644 | 12.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Constraints.hi
|
application/octet-stream | root:root | 0o644 | 31.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Conversion.hi
|
application/octet-stream | root:root | 0o644 | 31.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Coverage/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Coverage.hi
|
application/octet-stream | root:root | 0o644 | 35.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Coverage/Match.hi
|
application/octet-stream | root:root | 0o644 | 15.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.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.3.2.2/ghc-7.6.3/Agda/TypeChecking/Datatypes.hi
|
application/octet-stream | root:root | 0o644 | 17.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/DisplayForm.hi
|
application/octet-stream | root:root | 0o644 | 16.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/DropArgs.hi
|
application/octet-stream | root:root | 0o644 | 10.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Eliminators.hi
|
application/octet-stream | root:root | 0o644 | 11.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Empty.hi
|
application/octet-stream | root:root | 0o644 | 10.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Errors.hi
|
application/octet-stream | root:root | 0o644 | 20.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/EtaContract.hi
|
application/octet-stream | root:root | 0o644 | 8.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Forcing.hi
|
application/octet-stream | root:root | 0o644 | 10.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Free.hi
|
application/octet-stream | root:root | 0o644 | 26.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Implicit.hi
|
application/octet-stream | root:root | 0o644 | 12.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Injectivity.hi
|
application/octet-stream | root:root | 0o644 | 16.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/InstanceArguments.hi
|
application/octet-stream | root:root | 0o644 | 24.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Irrelevance.hi
|
application/octet-stream | root:root | 0o644 | 18.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/LevelConstraints.hi
|
application/octet-stream | root:root | 0o644 | 10.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Level.hi
|
application/octet-stream | root:root | 0o644 | 22.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/MetaVars/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/MetaVars.hi
|
application/octet-stream | root:root | 0o644 | 65.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/MetaVars/Mention.hi
|
application/octet-stream | root:root | 0o644 | 17.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/MetaVars/Occurs.hi
|
application/octet-stream | root:root | 0o644 | 72.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base.hi
|
application/octet-stream | root:root | 0o644 | 318.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Builtin.hi
|
application/octet-stream | root:root | 0o644 | 54.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Closure.hi
|
application/octet-stream | root:root | 0o644 | 8.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Constraints.hi
|
application/octet-stream | root:root | 0o644 | 28.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Context.hi
|
application/octet-stream | root:root | 0o644 | 60.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Debug.hi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Env.hi
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Exception.hi
|
application/octet-stream | root:root | 0o644 | 34.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad.hi
|
application/octet-stream | root:root | 0o644 | 55.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Imports.hi
|
application/octet-stream | root:root | 0o644 | 22.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/MetaVars.hi
|
application/octet-stream | root:root | 0o644 | 50.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Mutual.hi
|
application/octet-stream | root:root | 0o644 | 22.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Open.hi
|
application/octet-stream | root:root | 0o644 | 13.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Options.hi
|
application/octet-stream | root:root | 0o644 | 44.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Sharing.hi
|
application/octet-stream | root:root | 0o644 | 14.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Signature.hi
|
application/octet-stream | root:root | 0o644 | 74.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/SizedTypes.hi
|
application/octet-stream | root:root | 0o644 | 34.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/State.hi
|
application/octet-stream | root:root | 0o644 | 28.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Statistics.hi
|
application/octet-stream | root:root | 0o644 | 8.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Monad/Trace.hi
|
application/octet-stream | root:root | 0o644 | 15.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Patterns/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Patterns/Match.hi
|
application/octet-stream | root:root | 0o644 | 11.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Polarity.hi
|
application/octet-stream | root:root | 0o644 | 30.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Positivity.hi
|
application/octet-stream | root:root | 0o644 | 67.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 65.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Primitive.hi
|
application/octet-stream | root:root | 0o644 | 165.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/ProjectionLike.hi
|
application/octet-stream | root:root | 0o644 | 10.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Quote.hi
|
application/octet-stream | root:root | 0o644 | 40.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rebind.hi
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/RecordPatterns.hi
|
application/octet-stream | root:root | 0o644 | 33.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Records.hi
|
application/octet-stream | root:root | 0o644 | 32.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Reduce.hi
|
application/octet-stream | root:root | 0o644 | 147.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin/Coinduction.hi
|
application/octet-stream | root:root | 0o644 | 37.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin.hi
|
application/octet-stream | root:root | 0o644 | 21.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/Data.hi
|
application/octet-stream | root:root | 0o644 | 18.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/Decl.hi
|
application/octet-stream | root:root | 0o644 | 25.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/Def.hi
|
application/octet-stream | root:root | 0o644 | 27.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS.hi
|
application/octet-stream | root:root | 0o644 | 25.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Implicit.hi
|
application/octet-stream | root:root | 0o644 | 16.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Instantiate.hi
|
application/octet-stream | root:root | 0o644 | 12.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Problem.hi
|
application/octet-stream | root:root | 0o644 | 24.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.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.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Split.hi
|
application/octet-stream | root:root | 0o644 | 18.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Unify.hi
|
application/octet-stream | root:root | 0o644 | 149.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/Record.hi
|
application/octet-stream | root:root | 0o644 | 16.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Rules/Term.hi
|
application/octet-stream | root:root | 0o644 | 51.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Serialise.hi
|
application/octet-stream | root:root | 0o644 | 279.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes.hi
|
application/octet-stream | root:root | 0o644 | 50.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Substitute.hi
|
application/octet-stream | root:root | 0o644 | 117.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Telescope.hi
|
application/octet-stream | root:root | 0o644 | 16.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Test/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Test/Generators.hi
|
application/octet-stream | root:root | 0o644 | 94.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/Tests.hi
|
application/octet-stream | root:root | 0o644 | 16.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/UniversePolymorphism.hi
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/TypeChecking/With.hi
|
application/octet-stream | root:root | 0o644 | 15.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Char.hi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Either.hi
|
application/octet-stream | root:root | 0o644 | 7.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/FileName.hi
|
application/octet-stream | root:root | 0o644 | 13.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Fresh.hi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Function.hi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Geniplate.hi
|
application/octet-stream | root:root | 0o644 | 13.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Graph.hi
|
application/octet-stream | root:root | 0o644 | 80.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Hash.hi
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/HashMap.hi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Impossible.hi
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/IO/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/IO/Binary.hi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/IO/UTF8.hi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/List.hi
|
application/octet-stream | root:root | 0o644 | 26.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Map.hi
|
application/octet-stream | root:root | 0o644 | 8.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Maybe.hi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Monad.hi
|
application/octet-stream | root:root | 0o644 | 18.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Permutation.hi
|
application/octet-stream | root:root | 0o644 | 13.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Pointed.hi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Pointer.hi
|
application/octet-stream | root:root | 0o644 | 18.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/QuickCheck.hi
|
application/octet-stream | root:root | 0o644 | 8.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/ReadP.hi
|
application/octet-stream | root:root | 0o644 | 33.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/SemiRing.hi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Size.hi
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/String.hi
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Suffix.hi
|
application/octet-stream | root:root | 0o644 | 6.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/TestHelpers.hi
|
application/octet-stream | root:root | 0o644 | 11.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Time.hi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Trie.hi
|
application/octet-stream | root:root | 0o644 | 15.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Tuple.hi
|
application/octet-stream | root:root | 0o644 | 15.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Unicode.hi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/VarSet.hi
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Utils/Warshall.hi
|
application/octet-stream | root:root | 0o644 | 65.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Agda/Version.hi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/HSAgda-2.3.2.2.o
|
application/x-object | root:root | 0o644 | 29.9 MB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/libHSAgda-2.3.2.2.a
|
application/x-archive | root:root | 0o644 | 40.7 MB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.2.2/ghc-7.6.3/Paths_Agda.hi
|
application/octet-stream | root:root | 0o644 | 7.7 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/libghc-agda-dev/
|
root:root | 0o755 | ||
/usr/share/doc/libghc-agda-dev/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/libghc-agda-dev/copyright
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/share/doc/libghc-agda-dev/README.gz
|
application/gzip | root:root | 0o644 | 3.6 KB |
/usr/share/doc/libghc-agda-dev/TODO.gz
|
application/gzip | root:root | 0o644 | 3.5 KB |
/usr/share/libghc-agda-dev/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/Agda.css
|
text/plain | root:root | 0o644 | 1.2 KB |
/var/
|
root:root | 0o755 | ||
/var/lib/
|
root:root | 0o755 | ||
/var/lib/ghc/
|
root:root | 0o755 | ||
/var/lib/ghc/package.conf.d/
|
root:root | 0o755 | ||
/var/lib/ghc/package.conf.d/Agda-2.3.2.2.conf
|
text/plain | root:root | 0o644 | 11.4 KB |