rht 975d040f07 coq_HEAD: Update to the latest commit		2017-03-18 01:50:26 +03:00
..
applications	coq_HEAD: Update to the latest commit	2017-03-18 01:50:26 +03:00
build-support	Merge pull request #22571 from LnL7/darwin-frameworks-hook	2017-03-15 11:33:23 -04:00
common-updater
data	hasklig: 0.9 -> 1.1	2017-03-05 15:32:30 +01:00
desktops	Merge pull request #23954 from jbaum98/pdfpc-darwin	2017-03-17 07:59:41 +01:00
development	shapelib: init at 1.4.0	2017-03-17 12:09:37 -05:00
games	sgt-puzzles: 20161228.7cae89f -> 20170228.1f613ba	2017-03-09 18:47:37 +01:00
misc	vlock: improve eintr patch	2017-03-11 10:00:06 +01:00
os-specific	linux: 4.4.53 -> 4.4.54	2017-03-17 17:25:40 -04:00
servers	prometheus-unifi-exporter: init at 0.4.0	2017-03-17 15:41:22 +01:00
shells	Merge pull request #23875 from NeQuissimus/oh-my-zsh_2017-02-27	2017-03-13 20:07:59 -04:00
stdenv	Revert "stdenv: aarch64 is also ARM"	2017-03-11 15:57:51 +02:00
test
tools	marathonctl: init at 2017-03-06	2017-03-17 23:10:27 +01:00
top-level	coq_HEAD: Update to the latest commit	2017-03-18 01:50:26 +03:00