Package: libflint-doc
Architecture: all
Version: 2.5.2-21build1
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: 2299
Recommends: libflint-dev
Filename: pool/universe/f/flint/libflint-doc_2.5.2-21build1_all.deb
Size: 2328908
MD5sum: 828a4c1a22f7312ef5ce90a01ab5b7e5
SHA1: db227e33fe672c29559d80b765114f7d56bced03
SHA256: 003f8f166d8d22d0f1ba91ba06fefe91a5f7fd42b36b0cf79e957b4ff1d41e3a
Homepage: http://www.flintlib.org/
Description: Documentation for the FLINT library
Description-md5: cfc1d1394ce4da588ed4c2ec2c8b1ab0