nixpkgs

T

coq: 8.4pl2 -> 8.4pl3

2014-03-15 13:03:10 -04:00

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

2014-03-12 21:20:43 +01:00

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

2014-03-15 17:35:55 +01:00

2014-03-15 13:03:10 -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

2007-04-26 14:32:57 +00: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.