/control.
This package is 12.4 MB.
It is available at http://ftp.debian.org/debian/pool/main/a/agda/libghc-agda-dev_2.3.0.1-2+b1_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-1b1ae, libghc-hashtables-dev-1.0.1.4-c8243, libghc-haskeline-dev-0.6.4.7-2c076, libghc-haskell-src-exts-dev-1.11.1-59039, libghc-mtl-dev-2.1.1-80110, 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.1-25afc, libghc-xhtml-dev-3000.2.1-c15f9, 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-2+b1 is in debian - wheezy / main. This package's architecture is: amd64.
This package will not be indexed since your user agent reports your browser is a bot.