59 commits

Author	SHA1	Message	Date
Ricky Elrod	139c6fb180	Add OFL as an actual license	2014-05-06 04:04:43 -04:00
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
Austin Seipp	6d52463bd3	nixpkgs: add alt-ergo 0.95.2 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-01 02:42:31 -05:00
Luca Bruno	b4096479fa	gnome-user-docs: new package licensed under the new licenses.cc-by-30 ... User and system administration help for the Gnome https://help.gnome.org/users/gnome-help/3.10	2014-04-14 09:58:02 +02:00
Austin Seipp	023464f13f	licenses: add Sleepycat Public License ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-03-24 19:58:11 -05:00
Domen Kozar	059e8e179b	set all licenses to be attributes (and wait for Nix 1.7)	2014-03-12 21:20:43 +01:00
Jaka Hudoklin	2778c00bfe	amdadl-sdk: set license to unfree (close #1647) ... We cannot auto build amdadl-sdk on hydra, so setting license to unfree disable auto builds. I also remove amdadl license, because it's irrelevant. vcunat changed string license to attribute.	2014-01-31 18:39:21 +01:00
Michael Raskin	5bbb1f77b2	Adding SlimerJS — script-driven Gecko browser	2013-10-21 00:30:39 +04:00
Eelco Dolstra	5fef92c4a0	Move pkgs/lib/ to lib/	2013-10-10 13:28:21 +02:00

Renamed from pkgs/lib/licenses.nix (Browse further)