Package: agda-stdlib
Architecture: all
Version: 2.1-4
Priority: extra
Section: universe/libs
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: 184507
Depends: libghc-agda-dev (>= 2.6.4.3), libghc-agda-dev (<< 2.6.4.4~)
Enhances: elpa-agda2-mode
Filename: pool/universe/a/agda-stdlib/agda-stdlib_2.1-4_all.deb
Size: 146968042
MD5sum: bc877adf1da9685169ccc4e900d1c185
SHA1: 68a115ab1e761c156d833058b6a5bb227178a769
SHA256: 9aabc1748961ee7208aec4d4195ccd3c206c47977382067efbb1edea531f3802
SHA512: bf5fac3d039409b99d4d63c7c8c43259927862868d89834807013f5277e3598e5a4ba642234ca04dfb9fb2a1932f158decc89e227becbc39b0c27c1c2854a10a
Homepage: https://wiki.portal.chalmers.se/agda/
Description: standard library for Agda
Description-md5: c45346ed5a4053d9d174e9325e0d533b