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