This package is 12.4 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/agda/libghc-agda-dev_2.3.0.1-1build2_amd64.deb
.
View its full control file here:
debian/control.
dependently typed functional programming language - development libraries
This package depends on:
libghc-quickcheck-dev-2.4.2-41cb2, libghc-array-dev-0.4.0.0-59d1c, libghc-base-dev-4.5.0.0-40b99, libghc-binary-dev-0.5.1.0-d85d7, libghc-bytestring-dev-0.9.2.1-18f26, libghc-containers-dev-0.4.2.1-cfc64, libghc-directory-dev-1.1.0.2-ebaca, libghc-filepath-dev-1.3.0.0-973f5, libghc-hashable-dev-1.1.2.3-6744a, libghc-hashtables-dev-1.0.1.4-af8a9, libghc-haskeline-dev-0.6.4.6-72aae, libghc-haskell-src-exts-dev-1.11.1-59039, libghc-mtl-dev-2.0.1.0-db19d, libghc-old-time-dev-1.1.0.0-b7778, libghc-pretty-dev-1.1.1.0-74ee6, libghc-process-dev-1.1.0.1-18dad, libghc-syb-dev-0.3.6-080af, libghc-xhtml-dev-3000.2.0.5-9a3b4, libghc-zlib-dev-0.5.3.3-25bc9.
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.0.1-1build2 is in ubuntu - precise / 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.0.1/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/Auto.hi
|
application/octet-stream | root:root | 0o644 | 14.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/CaseSplit.hi
|
application/octet-stream | root:root | 0o644 | 19.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/Convert.hi
|
application/octet-stream | root:root | 0o644 | 43.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/NarrowingSearch.hi
|
application/octet-stream | root:root | 0o644 | 43.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/SearchControl.hi
|
application/octet-stream | root:root | 0o644 | 27.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/Syntax.hi
|
application/octet-stream | root:root | 0o644 | 21.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/Typecheck.hi
|
application/octet-stream | root:root | 0o644 | 33.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/AuxAST.hi
|
application/octet-stream | root:root | 0o644 | 24.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/CaseOpts.hi
|
application/octet-stream | root:root | 0o644 | 8.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Compiler.hi
|
application/octet-stream | root:root | 0o644 | 15.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/CompileState.hi
|
application/octet-stream | root:root | 0o644 | 40.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Epic.hi
|
application/octet-stream | root:root | 0o644 | 7.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Erasure.hi
|
application/octet-stream | root:root | 0o644 | 21.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/ForceConstrs.hi
|
application/octet-stream | root:root | 0o644 | 9.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Forcing.hi
|
application/octet-stream | root:root | 0o644 | 22.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/FromAgda.hi
|
application/octet-stream | root:root | 0o644 | 16.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Injection.hi
|
application/octet-stream | root:root | 0o644 | 36.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Interface.hi
|
application/octet-stream | root:root | 0o644 | 28.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/NatDetection.hi
|
application/octet-stream | root:root | 0o644 | 10.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Primitive.hi
|
application/octet-stream | root:root | 0o644 | 16.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Smashing.hi
|
application/octet-stream | root:root | 0o644 | 13.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Static.hi
|
application/octet-stream | root:root | 0o644 | 10.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/HaskellTypes.hi
|
application/octet-stream | root:root | 0o644 | 21.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Case.hi
|
application/octet-stream | root:root | 0o644 | 14.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Compiler.hi
|
application/octet-stream | root:root | 0o644 | 37.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Parser.hi
|
application/octet-stream | root:root | 0o644 | 36.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 10.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Substitution.hi
|
application/octet-stream | root:root | 0o644 | 8.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Syntax.hi
|
application/octet-stream | root:root | 0o644 | 83.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Compiler.hi
|
application/octet-stream | root:root | 0o644 | 52.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Encode.hi
|
application/octet-stream | root:root | 0o644 | 19.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Misc.hi
|
application/octet-stream | root:root | 0o644 | 36.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 10.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Primitives.hi
|
application/octet-stream | root:root | 0o644 | 83.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/ImpossibleTest.hi
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/BasicOps.hi
|
application/octet-stream | root:root | 0o644 | 65.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/CommandLine/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/CommandLine/CommandLine.hi
|
application/octet-stream | root:root | 0o644 | 36.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/EmacsCommand.hi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Exceptions.hi
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/FindFile.hi
|
application/octet-stream | root:root | 0o644 | 14.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/GhciTop.hi
|
application/octet-stream | root:root | 0o644 | 101.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Dot.hi
|
application/octet-stream | root:root | 0o644 | 11.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Emacs.hi
|
application/octet-stream | root:root | 0o644 | 7.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Generate.hi
|
application/octet-stream | root:root | 0o644 | 17.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/HTML.hi
|
application/octet-stream | root:root | 0o644 | 10.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Precise.hi
|
application/octet-stream | root:root | 0o644 | 99.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Range.hi
|
application/octet-stream | root:root | 0o644 | 24.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Vim.hi
|
application/octet-stream | root:root | 0o644 | 11.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Imports.hi
|
application/octet-stream | root:root | 0o644 | 34.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/MakeCase.hi
|
application/octet-stream | root:root | 0o644 | 19.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Monad.hi
|
application/octet-stream | root:root | 0o644 | 12.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Options.hi
|
application/octet-stream | root:root | 0o644 | 78.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Main.hi
|
application/octet-stream | root:root | 0o644 | 18.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging/Config.hi
|
application/octet-stream | root:root | 0o644 | 690 bytes |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging/Database.hi
|
application/octet-stream | root:root | 0o644 | 692 bytes |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging/Monad.hi
|
application/octet-stream | root:root | 0o644 | 689 bytes |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging/Types.hi
|
application/octet-stream | root:root | 0o644 | 689 bytes |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract.hi
|
application/octet-stream | root:root | 0o644 | 164.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract/Name.hi
|
application/octet-stream | root:root | 0o644 | 75.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 10.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract/Views.hi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Common.hi
|
application/octet-stream | root:root | 0o644 | 137.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Definitions.hi
|
application/octet-stream | root:root | 0o644 | 51.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete.hi
|
application/octet-stream | root:root | 0o644 | 217.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Name.hi
|
application/octet-stream | root:root | 0o644 | 58.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Operators/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Operators.hi
|
application/octet-stream | root:root | 0o644 | 21.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Operators/Parser.hi
|
application/octet-stream | root:root | 0o644 | 21.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 59.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Fixity.hi
|
application/octet-stream | root:root | 0o644 | 59.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Info.hi
|
application/octet-stream | root:root | 0o644 | 93.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Internal/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Internal/Generic.hi
|
application/octet-stream | root:root | 0o644 | 27.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Internal.hi
|
application/octet-stream | root:root | 0o644 | 196.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Internal/Pattern.hi
|
application/octet-stream | root:root | 0o644 | 6.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Literal.hi
|
application/octet-stream | root:root | 0o644 | 20.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Notation.hi
|
application/octet-stream | root:root | 0o644 | 15.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Alex.hi
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Comments.hi
|
application/octet-stream | root:root | 0o644 | 10.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser.hi
|
application/octet-stream | root:root | 0o644 | 10.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Layout.hi
|
application/octet-stream | root:root | 0o644 | 9.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/LexActions.hi
|
application/octet-stream | root:root | 0o644 | 17.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Lexer.hi
|
application/octet-stream | root:root | 0o644 | 11.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/LookAhead.hi
|
application/octet-stream | root:root | 0o644 | 15.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Monad.hi
|
application/octet-stream | root:root | 0o644 | 31.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Parser.hi
|
application/octet-stream | root:root | 0o644 | 20.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/StringLiterals.hi
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Tokens.hi
|
application/octet-stream | root:root | 0o644 | 17.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Position.hi
|
application/octet-stream | root:root | 0o644 | 96.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Scope/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Scope/Base.hi
|
application/octet-stream | root:root | 0o644 | 139.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Scope/Monad.hi
|
application/octet-stream | root:root | 0o644 | 61.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Strict.hi
|
application/octet-stream | root:root | 0o644 | 13.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Translation/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Translation/AbstractToConcrete.hi
|
application/octet-stream | root:root | 0o644 | 77.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Translation/ConcreteToAbstract.hi
|
application/octet-stream | root:root | 0o644 | 80.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Translation/InternalToAbstract.hi
|
application/octet-stream | root:root | 0o644 | 47.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/CallGraph.hi
|
application/octet-stream | root:root | 0o644 | 54.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/Lexicographic.hi
|
application/octet-stream | root:root | 0o644 | 32.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/Matrix.hi
|
application/octet-stream | root:root | 0o644 | 108.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/Semiring.hi
|
application/octet-stream | root:root | 0o644 | 9.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/SparseMatrix.hi
|
application/octet-stream | root:root | 0o644 | 100.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/TermCheck.hi
|
application/octet-stream | root:root | 0o644 | 20.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/Termination.hi
|
application/octet-stream | root:root | 0o644 | 24.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Tests.hi
|
application/octet-stream | root:root | 0o644 | 12.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecker.hi
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Abstract.hi
|
application/octet-stream | root:root | 0o644 | 12.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/CompiledClause/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/CompiledClause/Compile.hi
|
application/octet-stream | root:root | 0o644 | 12.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/CompiledClause.hi
|
application/octet-stream | root:root | 0o644 | 32.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/CompiledClause/Match.hi
|
application/octet-stream | root:root | 0o644 | 10.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Constraints.hi
|
application/octet-stream | root:root | 0o644 | 33.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Conversion.hi
|
application/octet-stream | root:root | 0o644 | 21.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Coverage/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Coverage.hi
|
application/octet-stream | root:root | 0o644 | 22.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Coverage/Match.hi
|
application/octet-stream | root:root | 0o644 | 12.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Datatypes.hi
|
application/octet-stream | root:root | 0o644 | 10.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/DisplayForm.hi
|
application/octet-stream | root:root | 0o644 | 10.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Eliminators.hi
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Empty.hi
|
application/octet-stream | root:root | 0o644 | 9.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Errors.hi
|
application/octet-stream | root:root | 0o644 | 17.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/EtaContract.hi
|
application/octet-stream | root:root | 0o644 | 8.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Forcing.hi
|
application/octet-stream | root:root | 0o644 | 7.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Free.hi
|
application/octet-stream | root:root | 0o644 | 23.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Implicit.hi
|
application/octet-stream | root:root | 0o644 | 7.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Injectivity.hi
|
application/octet-stream | root:root | 0o644 | 14.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Irrelevance.hi
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/LevelConstraints.hi
|
application/octet-stream | root:root | 0o644 | 7.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Level.hi
|
application/octet-stream | root:root | 0o644 | 21.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/MetaVars/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/MetaVars.hi
|
application/octet-stream | root:root | 0o644 | 50.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/MetaVars/Mention.hi
|
application/octet-stream | root:root | 0o644 | 14.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/MetaVars/Occurs.hi
|
application/octet-stream | root:root | 0o644 | 30.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Base.hi
|
application/octet-stream | root:root | 0o644 | 521.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Builtin.hi
|
application/octet-stream | root:root | 0o644 | 42.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Closure.hi
|
application/octet-stream | root:root | 0o644 | 7.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Constraints.hi
|
application/octet-stream | root:root | 0o644 | 21.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Context.hi
|
application/octet-stream | root:root | 0o644 | 42.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Debug.hi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Env.hi
|
application/octet-stream | root:root | 0o644 | 9.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Exception.hi
|
application/octet-stream | root:root | 0o644 | 33.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad.hi
|
application/octet-stream | root:root | 0o644 | 46.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Imports.hi
|
application/octet-stream | root:root | 0o644 | 21.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/MetaVars.hi
|
application/octet-stream | root:root | 0o644 | 40.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Mutual.hi
|
application/octet-stream | root:root | 0o644 | 18.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Open.hi
|
application/octet-stream | root:root | 0o644 | 9.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Options.hi
|
application/octet-stream | root:root | 0o644 | 34.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Signature.hi
|
application/octet-stream | root:root | 0o644 | 56.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/SizedTypes.hi
|
application/octet-stream | root:root | 0o644 | 16.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/State.hi
|
application/octet-stream | root:root | 0o644 | 21.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Statistics.hi
|
application/octet-stream | root:root | 0o644 | 6.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Trace.hi
|
application/octet-stream | root:root | 0o644 | 10.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Patterns/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Patterns/Match.hi
|
application/octet-stream | root:root | 0o644 | 10.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Polarity.hi
|
application/octet-stream | root:root | 0o644 | 23.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Positivity.hi
|
application/octet-stream | root:root | 0o644 | 49.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 54.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Primitive.hi
|
application/octet-stream | root:root | 0o644 | 156.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Quote.hi
|
application/octet-stream | root:root | 0o644 | 36.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rebind.hi
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/RecordPatterns.hi
|
application/octet-stream | root:root | 0o644 | 29.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Records.hi
|
application/octet-stream | root:root | 0o644 | 23.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Reduce.hi
|
application/octet-stream | root:root | 0o644 | 128.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Builtin/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Builtin/Coinduction.hi
|
application/octet-stream | root:root | 0o644 | 27.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Builtin.hi
|
application/octet-stream | root:root | 0o644 | 14.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Data.hi
|
application/octet-stream | root:root | 0o644 | 17.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Decl.hi
|
application/octet-stream | root:root | 0o644 | 18.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Def.hi
|
application/octet-stream | root:root | 0o644 | 19.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS.hi
|
application/octet-stream | root:root | 0o644 | 27.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/Implicit.hi
|
application/octet-stream | root:root | 0o644 | 8.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/Instantiate.hi
|
application/octet-stream | root:root | 0o644 | 10.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/Problem.hi
|
application/octet-stream | root:root | 0o644 | 12.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/Split.hi
|
application/octet-stream | root:root | 0o644 | 15.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/Unify.hi
|
application/octet-stream | root:root | 0o644 | 145.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Record.hi
|
application/octet-stream | root:root | 0o644 | 13.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Term.hi
|
application/octet-stream | root:root | 0o644 | 45.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Serialise.hi
|
application/octet-stream | root:root | 0o644 | 228.3 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/SizedTypes.hi
|
application/octet-stream | root:root | 0o644 | 21.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Substitute.hi
|
application/octet-stream | root:root | 0o644 | 135.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Telescope.hi
|
application/octet-stream | root:root | 0o644 | 13.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Test/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Test/Generators.hi
|
application/octet-stream | root:root | 0o644 | 77.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Tests.hi
|
application/octet-stream | root:root | 0o644 | 15.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/UniversePolymorphism.hi
|
application/octet-stream | root:root | 0o644 | 7.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/With.hi
|
application/octet-stream | root:root | 0o644 | 13.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Char.hi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Either.hi
|
application/octet-stream | root:root | 0o644 | 6.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/FileName.hi
|
application/octet-stream | root:root | 0o644 | 22.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Fresh.hi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Function.hi
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Generics.hi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Graph.hi
|
application/octet-stream | root:root | 0o644 | 12.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Hash.hi
|
application/octet-stream | root:root | 0o644 | 972 bytes |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Impossible.hi
|
application/octet-stream | root:root | 0o644 | 6.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/IO/
|
root:root | 0o755 | ||
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/IO/Binary.hi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/IO/Locale.hi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/IO/UTF8.hi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/List.hi
|
application/octet-stream | root:root | 0o644 | 23.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Map.hi
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Maybe.hi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Monad.hi
|
application/octet-stream | root:root | 0o644 | 12.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Permutation.hi
|
application/octet-stream | root:root | 0o644 | 18.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Pointer.hi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Pretty.hi
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/QuickCheck.hi
|
application/octet-stream | root:root | 0o644 | 7.2 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/ReadP.hi
|
application/octet-stream | root:root | 0o644 | 28.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/SemiRing.hi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Size.hi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/String.hi
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Suffix.hi
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/TestHelpers.hi
|
application/octet-stream | root:root | 0o644 | 10.7 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Trie.hi
|
application/octet-stream | root:root | 0o644 | 14.8 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Tuple.hi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Unicode.hi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/VarSet.hi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Warshall.hi
|
application/octet-stream | root:root | 0o644 | 72.6 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Version.hi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/HSAgda-2.3.0.1.o
|
application/x-object | root:root | 0o644 | 29.7 MB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/libHSAgda-2.3.0.1.a
|
application/x-archive | root:root | 0o644 | 40.3 MB |
/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Paths_Agda.hi
|
application/octet-stream | root:root | 0o644 | 7.5 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.6 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.4 KB |
/usr/share/libghc-agda-dev/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/Agda.css
|
text/plain | root:root | 0o644 | 1.1 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.0.1.conf
|
text/plain | root:root | 0o644 | 10.6 KB |