Etienne Laurin ff9208c37a swiProlog: 6.6.6 -> 7.2.3		2016-09-15 00:31:23 -04:00
..
applications	vlc_npapi: Fix hash	2016-09-11 00:21:16 +03:00
build-support	nixBufferBuilders.withPackages: Make more legible, special-case proof-general.	2016-09-05 17:55:49 -04:00
data	Merge #18400: shared-mime-info: 1.5 -> 1.7	2016-09-10 11:56:22 +02:00
desktops	evolution: improve out-of-gnome use	2016-09-08 14:05:38 +02:00
development	swiProlog: 6.6.6 -> 7.2.3	2016-09-15 00:31:23 -04:00
games	mars: Fix build caused by missing GL/glu.h import	2016-09-09 11:28:03 +02:00
misc	uboot: Fix build	2016-09-08 02:37:11 +03:00
os-specific	Merge remote-tracking branch 'upstream/staging' into master	2016-09-11 11:41:18 +03:00
servers	net-snmp: cosmetic fix for syntax highlighting in Emacs	2016-09-10 13:05:59 +02:00
shells	Merge branch 'master' into staging	2016-08-27 23:54:54 +01:00
stdenv	stdenv: leave SSL_CERT_FILE in shells (#15571)	2016-09-01 20:50:08 +02:00
test
tools	e2fsprogs: Split 'dev'	2016-09-10 20:05:30 +03:00
top-level	Merge pull request #18497 from aneeshusa/add-z3-dependency-for-cryptol	2016-09-11 01:15:58 +02:00