Author: raskin
Date: Fri Dec 3 11:27:57 2010
New Revision: 24964
URL: https://svn.nixos.org/websvn/nix/?rev=24964&sc=1
Log:
Some more provers
Modified:
configurations/trunk/misc/raskin/package-groups.nix
Modified: configurations/trunk/misc/raskin/package-groups.nix
==============================================================================
--- configurations/trunk/misc/raskin/package-groups.nix Fri Dec 3 11:26:34
2010 (r24963)
+++ configurations/trunk/misc/raskin/package-groups.nix Fri Dec 3 11:27:57
2010 (r24964)
@@ -20,7 +20,7 @@
rubygems python26Full ccl
bigloo pltScheme racket
io falcon acl2 mono mitscheme
- vala
+ vala yap prover9 satallax
gambit gcl jre jdk spidermonkey
coq eprover isabelle leo2
];
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits