The following commit has been merged in the master branch:
commit f88973400b14847204b912a226ad31fd11bcfde0
Author: Andreas Tille <[email protected]>
Date: Thu Jan 16 10:03:45 2014 +0100
gmp is very basic, used in lots of other packages as dependency
diff --git a/misc/sql/0-uncategorised.sh b/misc/sql/0-uncategorised.sh
index 520a153..538d044 100755
--- a/misc/sql/0-uncategorised.sh
+++ b/misc/sql/0-uncategorised.sh
@@ -11,6 +11,7 @@ case "$1" in
team="'[email protected]','[email protected]'"
ignore="'coinor-cgl','coinor-osi','coinutils',
'dune-common', 'dune-geometry', -- Dependencies of dune-grid
+ 'gmp', -- very basic, used in lots of
other packages as dependency
'imview-doc',
'kwwidgets',
'mpi-defaults',
--
Static and dynamic websites for Debian Pure Blends
_______________________________________________
Blends-commit mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/blends-commit
