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 <[email protected]> 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 <[email protected]> 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
_______________________________________________
Blends-commit mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/blends-commit
