Package: libflint-doc
Priority: optional
Section: universe/doc
Installed-Size: 2314
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
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