doc
|
doc: quick-start.xml -- fix a typo in the link.
|
2014-04-14 11:42:01 +05:30 |
lib
|
nixpkgs: add alt-ergo 0.95.2
|
2014-05-01 02:42:31 -05:00 |
maintainers/scripts
|
Remove mysterious line
|
2014-05-01 10:43:07 +02:00 |
nixos
|
Disable the rabbitmq test
|
2014-04-30 23:19:50 +02:00 |
pkgs
|
frama-c: overhaul, upgrade to 20140301-Neon
|
2014-05-01 02:42:34 -05: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 |
README.md
|
Fixed link to the installation instructions
|
2014-02-27 14:57:28 +01:00 |