default.nix
|
Add some primops to lib
|
2013-11-12 13:48:30 +01:00 |
licenses.nix
|
Add licenses for CompCert/Z3
|
2014-05-01 19:08:59 -05:00 |
maintainers.nix
|
Add wmertens to maintainers
|
2014-05-04 09:50:58 +02:00 |
meta.nix
|
Make appendToName do the right thing
|
2014-03-10 15:01:56 +01:00 |
misc.nix
|
Small cleanup
|
2013-10-24 14:49:59 +02:00 |
modules.nix
|
Bring back mkOrder
|
2014-03-30 20:35:25 +02:00 |
options.nix
|
Add some primops to lib
|
2013-11-12 13:48:30 +01:00 |
platforms.nix
|
Remove some unsupported platforms
|
2013-11-04 21:11:00 +01:00 |
sources.nix
|
cleanSources: Filter *.o and *.so
|
2014-02-06 12:30:26 +01:00 |
strings.nix
|
Add some primops to lib
|
2013-11-12 13:48:30 +01:00 |
systems.nix
|
Use isType instead of typeOf
|
2013-10-28 22:45:55 +01:00 |
trivial.nix
|
Add a global variable ‘inNixShell’
|
2014-02-19 19:03:16 +01:00 |
types.nix
|
Fix description to match convention
|
2014-05-01 11:46:44 -04:00 |