John Wiegley 153d32cd9f Merge pull request #43216 from vbgl/coq8.8-equations ... coqPackages.equations: enable for Coq 8.8		2018-07-08 11:04:17 -07:00
..
applications	monosat: init at 1nx3wh34	2018-07-08 12:43:29 -04:00
build-support	dockerTools.examples: explicitly set image tag to fix docker-tools tests	2018-07-06 16:38:42 +02:00
common-updater
data	fonts/babestone-han: 11.0.2 -> 11.0.3 (#43035)	2018-07-05 09:13:06 +02:00
desktops	Merge pull request #42972 from r-ryantm/auto-update/pcmanfm-qt	2018-07-08 01:04:11 +02:00
development	Merge pull request #43216 from vbgl/coq8.8-equations	2018-07-08 11:04:17 -07:00
games	treewide: http -> https	2018-07-05 18:35:28 -07:00
misc	termtekst: init -> 1.0 (#43045)	2018-07-06 21:55:18 +02:00
os-specific	Merge pull request #42870 from ldesgoui/add-pscircle	2018-07-05 21:48:25 -04:00
servers	Merge pull request #43201 from dotlambda/vobject-0.9.6	2018-07-08 13:47:12 +02:00
shells	xonsh: 0.6.7 -> 0.6.8 (#42930)	2018-07-05 14:56:33 +02:00
stdenv	make-bootstrap-tools-cross: remove broken i686-musl variant	2018-06-25 11:16:10 -05:00
test	Merge remote-tracking branch 'upstream/master' into staging	2018-06-18 15:30:39 -04:00
tools	salt: 2018.3.0 -> 2018.3.2	2018-07-08 16:35:01 +02:00
top-level	monosat: init at 1nx3wh34	2018-07-08 12:43:29 -04:00