Vincent Laporte d7e84159f8 coqPackages.interval: make bignums optional and propagated		2017-11-13 08:42:52 +00:00
..
applications	Merge pull request #31564 from Mounium/aliza	2017-11-12 22:07:01 +01:00
build-support	Merge pull request #31356 from FRidh/fetchgitPrivate	2017-11-10 10:57:50 +01:00
common-updater
data	Merge branch 'staging'	2017-11-12 19:08:05 +01:00
desktops	Merge pull request #31532 from romildo/upd.enlightenment	2017-11-12 21:44:54 -05:00
development	coqPackages.interval: make bignums optional and propagated	2017-11-13 08:42:52 +00:00
games	Merge pull request #31581 from adisbladis/anki-bs3	2017-11-12 22:17:30 -05:00
misc	Fix homepage links (see #30636)	2017-11-11 17:36:48 +01:00
os-specific	update skarnet.org packages	2017-11-13 00:09:32 +01:00
servers	sonarr: 2.0.0.4949 -> 2.0.0.5054	2017-11-12 12:42:27 -08:00
shells	nix-bash-completions: 0.1 -> 0.2	2017-11-11 17:06:08 +01:00
stdenv	bootstrap tools test: fixup after d71833ee36	2017-11-11 21:41:42 +01:00
test	treewide: Use *Platform.extensions	2017-09-13 11:16:10 -04:00
tools	Merge pull request #31575 from 4z3/skarnet	2017-11-13 09:32:25 +01:00
top-level	coqPackages.bignums: do not fail with Coq 8.5	2017-11-13 08:42:51 +00:00