[flint] branch master updated (00c7eee -> 9a0fa2e)

[Julien Puydt]

This is an automated email from the git hooks/post-receive script.

jpuydt-guest pushed a change to branch master
in repository flint.

      from  00c7eee   Add override since we compile with -O0
       new  fbcbcb9   Reenable optimisations with a better fix
       new  98785b4   Disable static lib compilation
       new  9a0fa2e   Remove now useless overrides

The 3 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/changelog                        | 2 +-
 debian/libflint-2.5.2.lintian-overrides | 4 ----
 debian/rules                            | 2 +-
 3 files changed, 2 insertions(+), 6 deletions(-)
 delete mode 100644 debian/libflint-2.5.2.lintian-overrides

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/flint.git