Vincent Laporte 42bf99ef44 coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6 ... by adding `findlib` as a build input. Also clean `default.nix` a little bit.		2017-01-25 13:06:11 +00:00
..
applications	Merge pull request #21879 from vbgl/coq-clean	2017-01-25 14:05:38 +01:00
build-support	cc-wrapper: Remove unneeded crossAttrs	2017-01-24 11:37:56 -05:00
data	overpass: 2.1 -> 3.0.2	2017-01-24 23:15:15 +01:00
desktops	lumina: 1.1.0-p1 -> 1.2.0-p1	2017-01-25 07:11:09 -02:00
development	coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6	2017-01-25 13:06:11 +00:00
games	warsow: mark as broken	2017-01-24 16:16:47 +00:00
misc	vim plugins: added gruvbox	2017-01-21 16:07:28 +01:00
os-specific	grsecurity: 4.8.16-201701062021 -> 4.8.17-201701151620	2017-01-25 00:58:57 +01:00
servers	Merge pull request #22119 from rnhmjoj/caddy	2017-01-25 09:47:19 +01:00
shells	oh-my-zsh: 2016-12-16 -> 2017-01-15	2017-01-17 17:55:40 -05:00
stdenv	top-level: Only splice as needed for performance	2017-01-24 11:37:56 -05:00
test
tools	tor: 0.2.8.12 -> 0.2.9.9	2017-01-25 00:58:37 +01:00
top-level	Merge pull request #21879 from vbgl/coq-clean	2017-01-25 14:05:38 +01:00