[Blends-commit] [SCM] science branch, master, updated. 771de11deb24946280a132b9eea818dd562a057e

[Andreas Tille]

The following commit has been merged in the master branch:
commit 771de11deb24946280a132b9eea818dd562a057e
Author: Andreas Tille <tille at debian.org>
Date:   Fri Dec 13 15:09:37 2013 +0100

    Add a *very* *rough* first attempt for a logic task.  PLEASE ENHANCE!!!

diff --git a/debian/changelog b/debian/changelog
index 8506037..6dd08b7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,7 @@ debian-science (1.1) UNRELEASED; urgency=low
   * tasks/enineering: Fix typo
     Closes: #730282
   * Moved Vcs to Git
+  * new task: logic
 
   [ Sébastien Villemot ]
   * tasks/economics: Add new task for economics
diff --git a/tasks/logic b/tasks/logic
new file mode 100644
index 0000000..b0ec639
--- /dev/null
+++ b/tasks/logic
@@ -0,0 +1,16 @@
+Task: Logic
+Description: Debian Science Logic packages
+ This metapackage is part of the Debian Pure Blend "Debian Science"
+ and installs packages related to Logic.
+
+Depends: alt-ergo
+
+Depends: cvc3
+
+Depends: coinor-cbc
+
+Depends: boolector
+
+Depends: picosat
+
+Depends: minisat2

-- 
Debian Science Blend