|
doc
|
doc: quick-start.xml -- fix a typo in the link.
|
2014-04-14 11:42:01 +05:30 |
|
lib
|
Add licenses for CompCert/Z3
|
2014-05-01 19:08:59 -05:00 |
|
maintainers/scripts
|
Remove mysterious line
|
2014-05-01 10:43:07 +02:00 |
|
nixos
|
nixos: overhaul datadog module
|
2014-05-02 01:24:35 -05:00 |
|
pkgs
|
Merge pull request #2470 from sol/master
|
2014-05-02 12:09:08 +02:00 |
|
.gitignore
|
Merge .gitignore files
|
2013-10-10 13:28:22 +02:00 |
|
.version
|
Update version
|
2014-04-23 08:02:18 -04:00 |
|
COPYING
|
* Applying an MIT-style license to Nixpkgs.
|
2006-04-25 16:50:34 +00:00 |
|
default.nix
|
Explicitly require Nix 1.6
|
2014-03-17 11:33:36 +01:00 |
|
README.md
|
Fixed link to the installation instructions
|
2014-02-27 14:57:28 +01:00 |
