Marco Maggesi fa47d66e22 Updated HOL Light to revision 112 ... svn path=/nixpkgs/trunk/; revision=30369		2011-11-10 15:35:53 +00:00
..
applications	Updated HOL Light to revision 112	2011-11-10 15:35:53 +00:00
build-support	synchronize with trunk	2011-11-08 10:18:35 +00:00
data
desktops
development	Update Racket	2011-11-10 11:51:51 +00:00
games
lib	synchronize with trunk	2011-11-08 10:18:35 +00:00
misc	Update Wine	2011-11-10 04:31:52 +00:00
os-specific	udev: fix for bluetooth devices according to https://bugs.archlinux.org/task/25356	2011-11-09 12:58:17 +00:00
servers	Adding prayer. It builds on linux x86_64, but I've not tried to run it.	2011-11-08 21:07:57 +00:00
shells
stdenv
test
tools	Adding imapproxy	2011-11-09 18:25:55 +00:00
top-level	Adding imapproxy	2011-11-09 18:25:55 +00:00