Package: libghc-agda-doc
Priority: extra
Section: universe/doc
Installed-Size: 34286
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Architecture: all
Source: agda
Version: 2.4.2.5-1build1
Replaces: haskell-agda-doc
Provides: haskell-agda-doc
Depends: haddock-interface-27
Recommends: ghc-doc, libghc-equivalence-doc, libghc-geniplate-mirror-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-mtl-doc, libghc-quickcheck2-doc, libghc-src-exts-doc, libghc-strict-doc, libghc-unordered-containers-doc
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Filename: pool/universe/a/agda/libghc-agda-doc_2.4.2.5-1build1_all.deb
Size: 2184422
MD5sum: 8f1a685528a3b5e8ae55e11670f05277
SHA1: 4c182b5383348681e5348c9d8ae1afff2f80e628
SHA256: 3dbb45f4254daaa7dcd5325bca5b04d3e4f7bc49b8a8de38da79531bc2e80db8
Description: dependently typed functional programming language; documentation
Homepage: http://wiki.portal.chalmers.se/agda/
Description-md5: 42838d7e4b43bdeee8091f83a2111b33
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu