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 |
|