[Blends-commit] r2918 - /projects/science/trunk/debian-science/tasks/mathematics
tille at users.alioth.debian.org
tille at users.alioth.debian.org
Sun Aug 7 06:34:18 UTC 2011
Author: tille
Date: Sun Aug 7 06:34:17 2011
New Revision: 2918
URL: http://svn.debian.org/wsvn/blends/?sc=1&rev=2918
Log:
Added singular
Modified:
projects/science/trunk/debian-science/tasks/mathematics
Modified: projects/science/trunk/debian-science/tasks/mathematics
URL: http://svn.debian.org/wsvn/blends/projects/science/trunk/debian-science/tasks/mathematics?rev=2918&op=diff
==============================================================================
--- projects/science/trunk/debian-science/tasks/mathematics (original)
+++ projects/science/trunk/debian-science/tasks/mathematics Sun Aug 7 06:34:17 2011
@@ -80,6 +80,8 @@
Depends: scotch
+Depends: singular
+
Depends: isabelle
Homepage: http://isabelle.in.tum.de/
WNPP: 494491
More information about the Blends-commit
mailing list