Marco Maggesi 97b27e69c0 Update HOL Light to svn r244.		2015-09-01 16:30:27 +02:00
..
applications	Update HOL Light to svn r244.	2015-09-01 16:30:27 +02:00
build-support	makeWrapper: accept --argv0 flag (/cc #9562)	2015-09-01 13:27:12 +02:00
data	geolite-legacy: update 2015-08-24 -> 2015-08-31	2015-08-31 17:17:33 +02:00
desktops	gcr: 3.14.0 -> 3.16.0, should fix race condition during build	2015-08-28 11:35:29 +02:00
development	opencv: add version 3.0	2015-09-01 14:53:32 +02:00
games	wesnoth: 1.10.7 -> 1.12.4	2015-08-30 05:36:17 +03:00
misc	vimPlugins: 2015-09-01 update	2015-09-01 05:10:53 +03:00
os-specific	lttng-modules: 2.6.0-5 -> 2.6.2-1, fixes build on kernel 3.18	2015-09-01 14:10:59 +02:00
servers	inotifyTools -> inotify-tools	2015-09-01 10:52:47 +02:00
shells	add binutils to bash build for size	2015-08-12 11:27:54 -07:00
stdenv	Don't barf JSON at users in error messages	2015-08-27 15:32:45 +02:00
test
tools	multimarkdown: init at 4.7.1	2015-09-01 06:52:54 -04:00
top-level	opencv: add version 3.0	2015-09-01 14:53:32 +02:00