Fix priority

diff --git a/debian/control b/debian/control
index 3c535411fecc6474c29106c64d3b071fcd8eca00..ca4de22169334a0056dbf9977bce1f17299b86cd 100644 (file)
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Uploaders: Thomas Moulard <thomas.moulard@gmail.com>,
           Jochen Sprickerhof <jspricke@debian.org>,
           Leopold Palomo-Avellaneda <leo@alaxarxa.net>
 Section: libs
-Priority: extra
+Priority: optional
 Build-Depends: debhelper (>= 10), dh-exec (>=0.3),
                cmake,
               python-sphinx,