This package is 12.3 MB.
It is available at http://ftp.debian.org/debian/pool/main/a/agda/libghc-agda-dev_2.5.1.1-3+b3_amd64.deb
.
View its full control file here:
debian/control.
dependently typed functional programming language
This package depends on:
libghc-edisonapi-dev-1.3.1-4ee84, libghc-edisoncore-dev-1.3.1.1-33382, libghc-quickcheck-dev-2.8.2-fd3f0, libghc-array-dev-0.5.1.1-472ca, libghc-base-dev-4.9.0.0-5e731, libghc-binary-dev-0.8.3.0-4351e, libghc-boxes-dev-0.1.4-acf73, libghc-bytestring-dev-0.10.8.1-58b19, libghc-containers-dev-0.5.7.1-8be09, libghc-data-hash-dev-0.2.0.1-c9b47, libghc-deepseq-dev-1.4.2.0-a6601, libghc-directory-dev-1.2.6.2-958b8, libghc-edit-distance-dev-0.2.2.1-de613, libghc-equivalence-dev-0.3.1-ba83a, libghc-filepath-dev-1.4.1.0-6e799, libghc-geniplate-mirror-dev-0.7.4-09aba, libghc-hashable-dev-1.2.4.0-caa41, libghc-hashtables-dev-1.2.1.0-2ca31, libghc-haskeline-dev-0.7.2.3-b6100, libghc-haskell-src-exts-dev-1.17.1-48679, libghc-monadplus-dev-1.4.2-a24e6, libghc-mtl-dev-2.2.1-3d1c9, libghc-parallel-dev-3.2.1.0-7ceef, libghc-pretty-dev-1.1.3.3-3d24d, libghc-process-dev-1.4.2.0-e39cb, libghc-strict-dev-0.3.2-6bbf1, libghc-template-haskell-dev-2.11.0.0-b9e58, libghc-text-dev-1.2.2.1-80edf, libghc-time-dev-1.6.0.1-6cdb6, libghc-transformers-dev-0.5.2.0-3446d, libghc-transformers-compat-dev-0.5.1.4-518aa, libghc-unordered-containers-dev-0.2.7.1-6be11, libghc-xhtml-dev-3000.2.1-3057e, libghc-zlib-dev-0.6.1.2-cea47, libc6 (>= 2.2.5), libgmp10, libtinfo5 (>= 6), zlib1g (>= 1:1.1.4).
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.5.1.1-3+b3 is in debian - stretch / main. This package's architecture is: amd64.
There are a lot of files here (723 total).
We're only showing root directories and maintainer scripts from libghc-agda-dev.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/var/
|
root:root | 0o755 |