philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

8 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
Renamed from pkgs/lib/licenses.nix (Browse further)