nixpkgs

Go to file

Shea Levy a0a135d5ef Merge branch 'z3' of git://github.com/thoughtpolice/nixpkgs

z3: version 4.3.1

2014-03-28 23:54:43 -04:00

2014-03-04 23:41:35 +01:00

2014-03-28 23:03:20 -04:00

2014-02-19 13:58:42 +01:00

2014-03-28 23:52:56 -04:00

2014-03-28 23:54:43 -04:00

.gitignore

Merge .gitignore files

2013-10-10 13:28:22 +02:00

.version

2014-02-28 16:56:32 +01:00

COPYING

2006-04-25 16:50:34 +00:00

default.nix

2014-03-17 11:33:36 +01:00

README.md

2014-02-27 14:57:28 +01:00

Nixpkgs is a collection of packages for Nix package manager. Nixpkgs also includes NixOS linux distribution source code.

Languages

Nix 96.3%

Shell 1.8%

Python 0.7%

Perl 0.4%

C 0.3%

Other 0.1%