Guillaume Maudoux ccb2d83980 boogie: fix basename issues; promote to package		2017-02-06 22:50:05 +01:00
..
applications	ecopcr: init at 0.8.0	2017-02-06 16:01:08 +01:00
build-support	Add a pkgs.dhallToNix utility	2017-01-26 20:11:49 -08:00
data	liberastika: init at 1.1.5 (#22420)	2017-02-04 16:38:01 +01:00
desktops	Merge pull request #22478 from peterhoeg/p/okteta	2017-02-06 11:19:13 -06:00
development	openocd: 0.9.0 -> 0.10.0	2017-02-06 20:19:36 +01:00
games	Merge branch 'staging'	2017-02-04 21:02:46 +01:00
misc	Merge branch 'staging'	2017-02-04 21:02:46 +01:00
os-specific	grsecurity: 4.8.17-201701151620 -> 4.9.8-201702060653	2017-02-06 15:49:34 +01:00
servers	Merge pull request #22492 from schneefux/pkg.shaarli-material	2017-02-06 18:36:29 +01:00
shells	fish: 2.3.1 -> 2.5.0	2017-02-04 20:58:55 +01:00
stdenv	Merge pull request #22387 from Ericson2314/cross-3-platforms	2017-02-05 17:41:31 -05:00
test
tools	fio: 2.12 -> 2.17	2017-02-06 22:34:28 +02:00
top-level	boogie: fix basename issues; promote to package	2017-02-06 22:50:05 +01:00