[flint] 01/04: Made libflint-... a Section: libs

[Julien Puydt]

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

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

commit 139498b0ca36accce881be2d8651c6c8814672ce
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Fri Sep 4 15:03:03 2015 +0200

    Made libflint-... a Section: libs
---
 debian/control | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/control b/debian/control
index e2357d5..f8181f9 100644
--- a/debian/control
+++ b/debian/control
@@ -10,6 +10,7 @@ Vcs-Browser: http://anonscm.debian.org/gitweb/?p=debian-science/packages/flint.g
 Vcs-Git: git://anonscm.debian.org/debian-science/packages/flint
 
 Package: libflint-2.5.2
+Section: libs
 Architecture: any
 Depends: ${shlibs:Depends}, ${misc:Depends}
 Replaces: libflint-1.06, libflint-2.4.4, libflint-2.4.5

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