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

Move pkgs/lib/ to lib/

2013-10-10 13:28:21 +02:00

customisation.nix

Move pkgs/lib/ to lib/

2013-10-10 13:28:21 +02:00

debug.nix

Move pkgs/lib/ to lib/

2013-10-10 13:28:21 +02:00

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

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-with-deps.nix

Move pkgs/lib/ to lib/

2013-10-10 13:28:21 +02: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

tests.nix

Move pkgs/lib/ to lib/

2013-10-10 13:28:21 +02: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