doc
|
Fix minor typo.
|
2014-12-19 16:30:45 +01:00 |
lib
|
Merge pull request #5370 from KoviRobi/master
|
2014-12-19 10:23:13 +01:00 |
maintainers
|
http://nixos.org -> https://nixos.org
|
2014-12-14 11:26:45 +01:00 |
nixos
|
nixos-option: Support -I option.
|
2014-12-20 20:30:19 +01:00 |
pkgs
|
coq_HEAD: update to latest Git version
|
2014-12-19 13:58:07 -06:00 |
.version
|
release: 15.04 -> 15.05
|
2014-12-09 15:09:06 +01:00 |
COPYING
|
* Applying an MIT-style license to Nixpkgs.
|
2006-04-25 16:50:34 +00:00 |
README.md
|
http://nixos.org -> https://nixos.org
|
2014-12-14 11:26:45 +01:00 |