Austin Seipp 145dcdc539 Add licenses for CompCert/Z3 ... Both of these allow for binary redistribution. Signed-off-by: Austin Seipp <aseipp@pobox.com>		2014-05-01 19:08:59 -05:00
..
attrsets.nix	Remove backward-compatible implementations of some primops	2013-11-12 13:50:45 +01:00
composable-derivation.nix
customisation.nix
debug.nix
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
lists.nix	gnome3: use package names for environment.gnome3.excludePackages	2014-04-14 09:58:03 +02:00
maintainers.nix	Merge pull request #2368 from Chaddai/texmaker	2014-04-28 22:42:47 +02:00
meta.nix	Make appendToName do the right thing	2014-03-10 15:01:56 +01:00
misc.nix
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
sources.nix	cleanSources: Filter *.o and *.so	2014-02-06 12:30:26 +01:00
strings-with-deps.nix
strings.nix	Add some primops to lib	2013-11-12 13:48:30 +01:00
systems.nix
tests.nix
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