Commit graph

5 commits

Author SHA1 Message Date
Michael Raskin 29cd3206f2 Adding ised
svn path=/nixpkgs/trunk/; revision=25331
2011-01-01 20:28:38 +00:00
Michael Raskin 64ed7e705d Adding Satallax prover
svn path=/nixpkgs/trunk/; revision=24963
2010-12-03 11:26:34 +00:00
Michael Raskin 5e32f98f5c Recursive sourceInfo is more convenient
svn path=/nixpkgs/trunk/; revision=23868
2010-09-20 07:48:17 +00:00
Michael Raskin 3039709cd6 Update the currently used autocallable template to make it usable with probable future autoupdater..
svn path=/nixpkgs/trunk/; revision=23297
2010-08-20 21:55:36 +00:00
Michael Raskin 558251da4a Adding golly (a cellular automata program)
svn path=/nixpkgs/trunk/; revision=22391
2010-06-23 07:41:17 +00:00