Package: libflint-doc Architecture: all Version: 2.5.2-17build1 Multi-Arch: foreign Priority: optional Section: universe/doc Source: flint Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 2313 Recommends: libflint-dev Filename: pool/universe/f/flint/libflint-doc_2.5.2-17build1_all.deb Size: 2344632 MD5sum: ee51ebc677e16edbfaeddfdaa20e546f SHA1: b51d1e25bd9a2e8145e9ccf2fc4089a357cc493f SHA256: b4919cb27f6bae59ef1fab6b495afa30a46393a39d6171f49814c66409c2eb8a Homepage: http://www.flintlib.org/ Description: Documentation for the FLINT library Description-md5: cfc1d1394ce4da588ed4c2ec2c8b1ab0