ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-15 13:37:21 +03:00
Code Issues Projects Releases Wiki Activity
20,112 Commits 96 Branches 102 Tags 4.5 GiB
46dc120270
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