nixpkgs

Author	SHA1	Message	Date
Michael Raskin	d001de0100	Merge pull request #3102 from auntieNeo/ipafont Added package for Japanese IPAFonts.	2014-06-30 10:19:48 +04:00
Michael Raskin	d41a7bd9e2	Merge pull request #2871 from auntieNeo/kochi-substitute Added Kochi substitute Japanese font package	2014-06-30 10:14:14 +04:00
Vladimír Čunát	c00f589ff2	licenses: add attribute "free" to fix eval of smlnjBootstrap	2014-06-27 09:48:42 +02:00
Jonathan Glines	339b347987	Added package for Japanese IPAFonts.	2014-06-15 10:02:41 -06:00
Jonathan Glines	b913409e0b	Removed non-free kochi-substitute and added kochi from Debian package.	2014-06-11 22:08:14 -06:00
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

14 commits