Package: libghc-agda-doc
Architecture: all
Version: 2.5.3-3build1
Priority: extra
Section: universe/doc
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 47752
Provides: haskell-agda-doc
Depends: haddock-interface-28
Recommends: ghc-doc, libghc-blaze-html-doc, libghc-edison-core-doc, libghc-equivalence-doc, libghc-geniplate-mirror-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-monadplus-doc, libghc-mtl-doc, libghc-stm-doc, libghc-strict-doc, libghc-text-doc, libghc-unordered-containers-doc, libjs-mathjax
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Replaces: haskell-agda-doc
Filename: pool/universe/a/agda/libghc-agda-doc_2.5.3-3build1_all.deb
Size: 2752184
MD5sum: 1a966758bf09642da2b8264dbca7c011
SHA1: 31f729097cd7a74424872eb04cc7340000752f7c
SHA256: c3a8d519bed8eba3d95cde6b1345bb6c32a3063ff8763f23264189da7fd8cf8c
Homepage: http://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language; documentation
Description-md5: 42838d7e4b43bdeee8091f83a2111b33