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 Original-Maintainer: Debian Science Maintainers 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