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 |
pkgs
|
Changed URL to upstream, as the old URL was dead
|
2014-05-04 19:58:16 +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 |