Package: libflint-doc Priority: optional Section: universe/doc Installed-Size: 2314 Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Maintainers Architecture: all Source: flint Version: 2.5.2-3 Recommends: libflint-dev Filename: pool/universe/f/flint/libflint-doc_2.5.2-3_all.deb Size: 2345952 MD5sum: 6e1f7c5fc267287203f6406fe298c8a0 SHA1: a3ba3f5a4f2460b37f57e6d0bed247438bdf086d SHA256: 29168c65effaa30bc2b0fc8e23cff87846a1d328925b28faf929223162476970 Description: Documentation for the FLINT library Homepage: http://www.flintlib.org/ Description-md5: 4fbd07a296656dedab327936e8e0f801 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu