Package: libghc-agda-dev Priority: extra Section: universe/haskell Installed-Size: 52793 Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Architecture: i386 Source: agda Version: 2.3.2.2-1 Provides: libghc-agda-dev-2.3.2.2-9894e Depends: libghc-quickcheck-dev-2.6-d62fc, libghc-array-dev-0.4.0.1-63807, libghc-base-dev-4.6.0.1-ced5f, libghc-binary-dev-0.5.1.1-5b8f9, libghc-bytestring-dev-0.10.0.2-0b661, libghc-containers-dev-0.5.0.0-3b8b8, libghc-deepseq-dev-1.3.0.1-aa1be, libghc-directory-dev-1.2.0.1-0f669, libghc-filepath-dev-1.3.0.1-edbc3, libghc-geniplate-dev-0.6.0.3-bfd73, libghc-hashable-dev-1.2.1.0-a535b, libghc-hashtables-dev-1.0.1.8-07df3, libghc-haskeline-dev-0.7.0.3-50fb3, libghc-haskell-src-exts-dev-1.14.0-39f90, libghc-mtl-dev-2.1.2-735d9, libghc-parallel-dev-3.2.0.3-e820b, libghc-pretty-dev-1.1.1.0-2de27, libghc-process-dev-1.1.0.2-a830d, libghc-text-dev-0.11.3.1-f9af5, libghc-time-dev-1.4.0.1-11dda, libghc-unordered-containers-dev-0.2.3.0-507da, libghc-xhtml-dev-3000.2.1-af6a0, libghc-zlib-dev-0.5.4.1-f8b2b Suggests: libghc-agda-doc Filename: pool/universe/a/agda/libghc-agda-dev_2.3.2.2-1_i386.deb Size: 12906540 MD5sum: 2839e19e7d6cc6adc5156f17beb3e5ed SHA1: 9373e67f9ba05729f3beb435e6426ce9b8b40b6f SHA256: d766c8369e8fb169d0b0332169dd57e7029e53eee06c1977b3452d47ac7c3a73 Description: dependently typed functional programming language Homepage: http://wiki.portal.chalmers.se/agda/ Ghc-Package: Agda-2.3.2.2-9894e728249cf525660bf8a6387b807d Description-md5: 44cf6014f9aa8a59c88d6828c0c5799b Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu