nixpkgs

gador/nixpkgs

T

John Wiegley 686fa594ab coq_HEAD: update to latest Git HEAD

2014-08-26 16:36:50 -05:00

2014-08-24 16:36:46 +02:00

2014-08-25 14:33:33 +02:00

Remove broken script

2014-07-30 10:23:05 +02:00

/dev/sda1 -> "/dev/sda1"

2014-08-26 19:30:45 +02:00

2014-08-26 16:36:50 -05:00

.gitignore

2014-08-09 20:53:36 -04:00

.version

Update version

2014-04-23 08:02:18 -04:00

COPYING

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

default.nix

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

README.md

2014-05-26 22:19:22 +02:00

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

Languages

Nix 95%

Shell 2%

Python 1.8%

Rust 0.3%

JavaScript 0.2%

Other 0.4%