Commit Graph

158 Commits

Author SHA1 Message Date
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