[Blends-commit] r3328 - /projects/science/trunk/debian-science/tasks/mathematics

[tille at users.alioth.debian.org]

Author: tille
Date: Mon May 14 11:51:25 2012
New Revision: 3328

URL: http://svn.debian.org/wsvn/blends/?sc=1&rev=3328
Log:
Document hints given by Hendrik Tews <tews at os.inf.tu-dresden.de> about proof assistants and add more packages of this category

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=3328&op=diff
==============================================================================
--- projects/science/trunk/debian-science/tasks/mathematics (original)
+++ projects/science/trunk/debian-science/tasks/mathematics Mon May 14 11:51:25 2012
@@ -23,9 +23,16 @@
 Depends: netgen, gmsh
 Why: FEA, mesh generator
 
+X-Begin-Category: proof assistants
+X-Comment: According to Hendrik Tews <tews at os.inf.tu-dresden.de> these might end up
+           in a separate metapackage "theorem-proving" or "formal-methods"
+           see http://lists.debian.org/debian-science/2012/05/msg00077.html
 
 Depends: coq, proofgeneral, proofgeneral-coq
-Why: Proof assistant
+
+Depends: matita, agda, prover9, hol-light, minisat
+
+X-End-Category: proof assistants
 
 Depends: science-statistics