John Wiegley d40dd2c70d coqPackages.QuickChick: 20170422 -> 20170710		2017-07-10 18:35:56 -07:00
..
applications	Update e-mail address for nckx	2017-07-10 20:54:18 +02:00
build-support	Merge: more compatibility for git* fetchers	2017-07-09 10:31:24 +02:00
common-updater	common-updater-script: fix error handling	2017-05-19 17:14:43 +03:00
data	unifont: 10.0.02 -> 10.0.04	2017-07-10 17:36:36 +02:00
desktops	gnomeExtensions.topicons-plus: init at v20 (#27116)	2017-07-04 17:56:06 +01:00
development	coqPackages.QuickChick: 20170422 -> 20170710	2017-07-10 18:35:56 -07:00
games	lib: introduce imap0, imap1 (#25543)	2017-07-04 23:29:23 +01:00
misc	vim-plugins: Add nim.vim	2017-07-10 12:29:03 -05:00
os-specific	Update e-mail address for nckx	2017-07-10 20:54:18 +02:00
servers	knot-resolver: remove aarch64 from meta.platforms	2017-07-10 18:11:40 +02:00
shells	nix-zsh-completions: add missing version to derivation name	2017-07-10 07:03:07 +02:00
stdenv	Merge branch 'staging' into master	2017-07-08 22:22:17 +02:00
test
tools	disnix: 0.7 -> 0.7.1	2017-07-11 00:26:16 +02:00
top-level	coqPackages.paco: Add attribute to 8_5 and 8_6 as well	2017-07-10 15:04:32 -07:00