3
0
Fork 0
forked from mirrors/nixpkgs
Nix Packages collection
Go to file
Austin Seipp c0f779ceee coq: add myself to maintainer list.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:52:33 -06:00
doc Merge pull request #1815 from vcunat/p/doc-package-naming 2014-03-04 23:41:35 +01:00
lib Add romildo to maintainers list 2014-03-07 21:52:36 +01:00
maintainers/scripts Fix updating of the tarball mirror 2014-02-19 13:58:42 +01:00
nixos typo: occured -> occurred 2014-03-07 19:39:55 +01:00
pkgs coq: add myself to maintainer list. 2014-03-07 20:52:33 -06:00
.gitignore Merge .gitignore files 2013-10-10 13:28:22 +02:00
.version Bump the overly optimistic version number 2014-02-28 16:56:32 +01:00
COPYING
default.nix * For convenience, provide a top-level Nix expression that simply 2007-04-26 14:32:57 +00:00
README.md Fixed link to the installation instructions 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.