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
|
pam: upstream patch to fix CVE-2014-2583
|
2014-05-03 21:30:48 +02:00 |
.version
|
Update version
|
2014-04-23 08:02:18 -04:00 |
default.nix
|
Explicitly require Nix 1.6
|
2014-03-17 11:33:36 +01:00 |