nixpkgs

Go to file

Peter Simons 2a54f52b22 coq_HEAD: Revert "update to latest Git version"

This reverts commit bf009f87a944a7664a8af340caa5444537400fc1. The update
breaks the build.

2014-09-19 12:29:07 +02:00

manual: mention go2nix

2014-09-16 20:40:37 +02:00

Fix evaluation

2014-09-18 10:47:01 +02:00

Remove broken script

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

2014-09-18 14:39:46 -07:00

2014-09-19 12:29:07 +02: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-09-04 18:44:03 +02: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 96.3%

Shell 1.8%

Python 0.7%

Perl 0.4%

C 0.3%

Other 0.1%