Michael Raskin dd6ef6229e Merge pull request #226 from maggesi/hol_light_updates ... Update HOL Light (and fix installation)		2012-12-27 05:33:24 -08:00
..
applications	Merge pull request #226 from maggesi/hol_light_updates	2012-12-27 05:33:24 -08:00
build-support	More specific tracing of a relatively tricky replace once; account for default.nix being present everywhere.	2012-12-22 14:14:48 +04:00
data	Remove a bunch of unreferenced files	2012-11-29 13:43:37 +01:00
desktops	Remove a bunch of unreferenced files	2012-11-29 13:43:37 +01:00
development	Merge pull request #217 from ppietrasa/master	2012-12-27 05:31:54 -08:00
games	scid: New package, version 4.3.	2012-12-12 12:36:20 +01:00
lib	D'oh	2012-12-20 00:52:51 -05:00
misc	Wine: update to 1.5.20	2012-12-22 14:54:22 +04:00
os-specific	zfs-0.6.0-rc13, spl-0.6.0-rc13	2012-12-21 16:30:19 -08:00
servers	Merge pull request #212 from washort/redis	2012-12-27 05:32:55 -08:00
shells
stdenv	Remove support for the obsolete powerpc-darwin and i686-darwin platforms	2012-11-29 14:10:49 +01:00
test
tools	mu0 -> mu, version bump	2012-12-25 21:59:48 +02:00
top-level	Merge pull request #218 from Davorak/master	2012-12-27 05:13:52 -08:00