This package is 9.3 MB.
It is available at http://ftp.debian.org/debian/pool/main/a/agda/libghc-agda-dev_2.4.0.2-2+b1_amd64.deb
.
View its full control file here:
debian/control.
dependently typed functional programming language
This package depends on:
libghc-quickcheck-dev-2.7.6-1a837, libghc-stmonadtrans-dev-0.3.2-e8fef, libghc-array-dev-0.4.0.1-3b784, libghc-base-dev-4.6.0.1-8aa5d, libghc-binary-dev-0.7.2.1-29f19, libghc-boxes-dev-0.1.3-d497b, libghc-bytestring-dev-0.10.0.2-4f932, libghc-containers-dev-0.5.0.0-ab1da, libghc-data-hash-dev-0.2.0.0-5623c, libghc-deepseq-dev-1.3.0.1-5cc4c, libghc-directory-dev-1.2.0.1-91a78, libghc-equivalence-dev-0.2.5-c02f6, libghc-filepath-dev-1.3.0.1-b12cb, libghc-geniplate-dev-0.6.0.4-3bad6, libghc-hashable-dev-1.2.1.0-7e831, libghc-hashtables-dev-1.0.1.8-14f0b, libghc-haskeline-dev-0.7.1.3-673aa, libghc-haskell-src-exts-dev-1.14.0.1-597ed, libghc-mtl-dev-2.1.2-94c72, libghc-parallel-dev-3.2.0.4-6b28f, libghc-pretty-dev-1.1.1.0-66181, libghc-process-dev-1.1.0.2-76e05, libghc-strict-dev-0.3.2-ad9fd, libghc-text-dev-0.11.3.1-e3885, libghc-time-dev-1.4.0.1-10dc4, libghc-transformers-dev-0.3.0.0-ff2bb, libghc-unordered-containers-dev-0.2.5.0-11c50, 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.4.0.2-2+b1 is in debian - jessie / main. 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.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/Agda/
|
root:root | 0o755 | ||
/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/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/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/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/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/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/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/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/Compiler/
|
root:root | 0o755 | ||
/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/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/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/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/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/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/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/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/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/Interaction/
|
root:root | 0o755 | ||
/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/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/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/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/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/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/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/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/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/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/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/
|
root:root | 0o755 | ||
/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/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/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/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/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.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/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/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/
|
root:root | 0o755 | ||
/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.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/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/
|
root:root | 0o755 | ||
/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/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/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/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/
|
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.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/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/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/
|
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.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/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/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/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/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/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/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/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/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/TypeChecking/
|
root:root | 0o755 | ||
/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/
|
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.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/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/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/
|
root:root | 0o755 | ||
/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/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/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/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/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/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/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/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/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/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/MetaVars/
|
root:root | 0o755 | ||
/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/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.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/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/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.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/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/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/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/
|
root:root | 0o755 | ||
/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/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/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/
|
root:root | 0o755 | ||
/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/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/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/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/
|
root:root | 0o755 | ||
/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/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/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/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/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/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/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/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/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/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/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.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/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/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/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/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/
|
root:root | 0o755 | ||
/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/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/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/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/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/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/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/HSAgda-2.4.0.2.o
|
application/x-object | root:root | 0o644 | 36.3 MB |
/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/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/buildinfo_amd64.gz
|
application/gzip | root:root | 0o644 | 3.4 KB |
/usr/share/doc/libghc-agda-dev/changelog.Debian.amd64.gz
|
application/gzip | root:root | 0o644 | 225 bytes |
/usr/share/doc/libghc-agda-dev/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 3.7 KB |
/usr/share/doc/libghc-agda-dev/changelog.gz
|
application/gzip | root:root | 0o644 | 40.2 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/libghc-agda-dev/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/Agda.css
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/libghc-agda-dev/lib/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/lib/prim/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/lib/prim/Agda/
|
root:root | 0o755 | ||
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda
|
text/plain | root:root | 0o644 | 885 bytes |
/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdai
|
application/octet-stream | root:root | 0o644 | 2.5 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.4.0.2.conf
|
text/plain | root:root | 0o644 | 12.7 KB |