Marco Maggesi 2cef87022c Update HOL Light to r134 ... svn path=/nixpkgs/trunk/; revision=33992		2012-05-05 16:46:53 +00:00
..
applications	Update HOL Light to r134	2012-05-05 16:46:53 +00:00
build-support	* Add a hook for running a test after the RPMs have been installed.	2012-05-01 20:31:01 +00:00
data	shared-mime-info-1.0	2012-03-31 21:29:12 +00:00
desktops	kde okular: include pkgconfig, otherwise libspectre isn't found (.ps viewing)	2012-04-09 10:17:20 +00:00
development	Adding the license meta for two packages I added today.	2012-05-03 09:41:11 +00:00
games	updated to a new version	2012-05-01 12:40:57 +00:00
lib	Add armv7l support.	2012-04-15 23:41:25 +00:00
misc	Sane backends URL seems to have changed.	2012-04-16 15:14:19 +00:00
os-specific	We no longer need the bootstub config patch	2012-05-05 14:26:20 +00:00
servers	update tomcat-connectors url	2012-05-03 13:50:11 +00:00
shells	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	2012-01-18 20:16:00 +00:00
stdenv	Darwin: Use GCC 4.6 in `stdenvNix'.	2012-04-23 15:47:37 +00:00
test
tools	Updating lrzip to 0.612.	2012-05-05 15:50:31 +00:00
top-level	We no longer need the bootstub config patch	2012-05-05 14:26:20 +00:00