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
