Vincent Laporte b212125b54 Merge pull request #32250 from vbgl/coq-clean ...

coq_HEAD, coqPackages_8_4: remove

2017-12-11 18:13:24 +01:00

..

applications

Merge pull request #32250 from vbgl/coq-clean

2017-12-11 18:13:24 +01:00

build-support

Merge pull request #31182 from yegortimoshenko/chroot-user/c-rewrite

2017-12-10 08:20:59 +00:00

common-updater

…

data

zeal: 0.4.0 -> 0.5.0

2017-12-11 08:06:01 +08:00

desktops

Merge older staging

2017-12-11 09:49:56 +01:00

development

Merge pull request #32250 from vbgl/coq-clean

2017-12-11 18:13:24 +01:00

games

Merge older staging

2017-12-11 09:49:56 +01:00

misc

U-Boot: Adds Orange Pi PC build

2017-12-11 19:05:15 +02:00

os-specific

linux-testing: 4.15-rc2 -> 4.15-rc3

2017-12-11 10:36:51 +01:00

servers

powerdns: 4.0.4 -> 4.0.5 for CVE-2017-15091

2017-12-11 14:52:11 +01:00

shells

nix-bash-completions: lazy load aware install

2017-12-10 14:07:13 +00:00

stdenv

stdenv: fix use of config-specified allowInsecurePredicate

2017-12-09 20:43:30 +00:00

test

…

tools

Merge pull request #32560 from manveru/calamares

2017-12-11 14:13:38 +00:00

top-level

Merge pull request #32250 from vbgl/coq-clean

2017-12-11 18:13:24 +01:00