Package: libghc-agda-doc
Priority: extra
Section: universe/doc
Installed-Size: 23664
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.3.2.2-1
Replaces: haskell-agda-doc
Provides: haskell-agda-doc
Depends: haddock-interface-22
Recommends: ghc-doc, libghc-geniplate-doc, libghc-hashable-doc, libghc-haskeline-doc, libghc-mtl-doc, libghc-quickcheck2-doc, libghc-src-exts-doc, libghc-unordered-containers-doc, libghc-agda-dev
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Filename: pool/universe/a/agda/libghc-agda-doc_2.3.2.2-1_all.deb
Size: 2186306
MD5sum: ab9b1de4abba9847b05484e3a2c3dc65
SHA1: 6e301188395ba974bd8d1c1c4d4cc68870be2ed2
SHA256: 823abd8183aacafd273c7b45adecae6ab9afead97bc28f97c6aab02a2d3578cd
Description: dependently typed functional programming language; documentation
Homepage: http://wiki.portal.chalmers.se/agda/
Description-md5: 078cbce9d6a7b038a82d386558933376
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu