nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-28 00:24:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
12,606 Commits 186 Branches 125 Tags 9.4 GiB
64ed7e705d
Commit Graph

4 Commits

Author SHA1 Message Date
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