-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: flint Binary: libflint18, libflint-dev, libflint-doc Architecture: any all Version: 3.0.1-2 Maintainer: Debian Math Team Uploaders: Julien Puydt Homepage: http://www.flintlib.org/ Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/math-team/flint Vcs-Git: https://salsa.debian.org/math-team/flint.git Testsuite: autopkgtest Testsuite-Triggers: gcc, libc-dev Build-Depends: debhelper-compat (= 13), latexmk, libgmp-dev, libmpfr-dev, libntl-dev (>= 9.9.1), lmodern, tex-gyre, python3-sphinx, texlive-fonts-recommended, texlive-latex-extra Package-List: libflint-dev deb libdevel optional arch=any libflint-doc deb doc optional arch=all libflint18 deb libs optional arch=any Checksums-Sha1: f3c7dc157f769825d392d417556accd08671d5ef 7624944 flint_3.0.1.orig.tar.gz 2ad8ad9068e7b26d266e318ad96f6229b73f15e7 8604 flint_3.0.1-2.debian.tar.xz Checksums-Sha256: f319f59f9a739c4c52fa462cbbe732dfaa29ce4473f080910d6298025ab5ff57 7624944 flint_3.0.1.orig.tar.gz 6fe874e095a51ee14de5fb2a409773e9410b44d2714fea8b1055fdf24615d3bc 8604 flint_3.0.1-2.debian.tar.xz Files: caba389bd8ae89e2c7adf96c2f134568 7624944 flint_3.0.1.orig.tar.gz cb8d7bcd49166d004bc58ee3ce1ce001 8604 flint_3.0.1-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJJBAEBCgAzFiEEupghwS4HiU+y5K0AkdxKd57FyRAFAmWeMQQVHGR0b3JyYW5j ZUBkZWJpYW4ub3JnAAoJEJHcSneexckQD1UP/jzt1kxGPQEo5PCDUFuyuzSCOax7 sOhGFqcjstIoA9V3QO7DXOJ3tuhqIy/Sqc0wdc41gGXomUfeeO7UWaqGTjTcdyMe fxg7HNFg3+oBCqAawTEjbVpnNSTcWriIqMxh+7c1fkOawGlMSo6iu+cvIUbL+MjP L/aoP9FoZT5o65F+E+PAf6TAiFG26ygbnx/h03TF0xgIuWZGwVd1Cn4WbIJkub1o GePXhek0J+TUoCU+xCe3fenDtSq3mGgO3KglHmqfpU2P4T2aW/+JOProZTFAl0Np ecZPxMNpT1QbU346IKvYw1emhxUO+L3md7IGsFVFO/zplhq5a8ooS0kddwT8kxUF BzqqL+p1c5C9hO6EV92xQVJyeDJmiMSdNVbej4aFLPCoqr/vjJoaUgi7aFi21LRA 4pdb8LD9e03F7EQa7GsYtpfYqmB3ExfwZPpQqQlargIsi9ToYfwHLcIgBUaZnF1I uA5t9mvToSw6GVoH0kUkRDXPO+0eXXqIUxtO1SYJctp1JlKojO53qD8bdhPnPq/h CiuYI6xK6J/2X6Fp7hX6f0eqoLr6mFXdlsDkOr4swKeaRPBw0yzY9gJ5G+2MoV4R hvaCcKGOVYh8xu1Q0ZkKBsQXIw77W1dvB8wDJtP+JzP6V4FRBKZiXxv8A0weP4qO Uc1Umv3PmRznA0Mf =DSCd -----END PGP SIGNATURE-----