3
0
Fork 0
forked from mirrors/nixpkgs
Nix Packages collection
Go to file
Damien Cassou 8f7d11e39c Merge pull request #14468 from vbgl/why3-0.87
why3: 0.86.3 -> 0.87.0
2016-04-05 19:15:52 +02:00
.github simplify ISSUE_TEMPLATE 2016-03-31 16:14:54 +02:00
doc nixpkgs manual introduction: improve 2016-04-05 10:06:10 +02:00
lib Stronger warning against usage of splitString 2016-04-01 13:52:54 +02:00
maintainers nix-generate-from-cpan: Skip "if" package since it's part of Perl now 2016-03-03 12:43:11 +01:00
nixos Add 16.03 AMIs 2016-04-05 11:25:12 +02:00
pkgs Merge pull request #14468 from vbgl/why3-0.87 2016-04-05 19:15:52 +02:00
.gitignore kde5: consolidate packages into desktops/kde-5 2016-03-01 10:36:00 -06:00
.mention-bot Blacklist jhasse 2016-03-05 23:23:19 +01:00
.travis.yml travis-ci: use trusty (has 7.5G ram compared to previous 3) 2015-11-02 13:04:03 +01:00
.version as always, no newline in .version 2016-02-28 23:39:38 +00:00
COPYING COPYING: Update year range to 2016 (close #12621) 2016-01-26 10:10:45 +01:00
default.nix Extract the top-level logic out of all-packages.nix into pkgs/top-level/default.nix 2016-03-20 16:28:18 +00:00
README.md README: 15.09 -> 16.03 2016-04-04 14:42:07 -04:00

logo

Build Status Issue Stats Issue Stats

Nixpkgs is a collection of packages for the Nix package manager. It is periodically built and tested by the hydra build daemon as so-called channels. To get channel information via git, add nixpkgs-channels as a remote:

% git remote add channels git://github.com/NixOS/nixpkgs-channels.git

For stability and maximum binary package support, it is recommended to maintain custom changes on top of one of the channels, e.g. nixos-16.03 for the latest release and nixos-unstable for the latest successful build of master:

% git remote update channels
% git rebase channels/nixos-16.03

For pull-requests, please rebase onto nixpkgs master.

NixOS linux distribution source code is located inside nixos/ folder.

Communication: