Maxime Dénès d1e1ee7b09 coq: 8.7+beta1 -> 8.7+beta2

2017-10-11 03:02:01 +02:00

..

applications

coq: 8.7+beta1 -> 8.7+beta2

2017-10-11 03:02:01 +02:00

build-support

Merge branch 'master' into staging

2017-10-07 10:17:42 +02:00

common-updater

…

data

Merge pull request #30210 from vaibhavsagar/update-all-cabal-hashes

2017-10-08 16:28:05 +02:00

desktops

enlightenment: 0.21.9 -> 0.21.10

2017-10-10 06:51:46 +02:00

development

coqPackages.HoTT: init at 20170921

2017-10-11 02:51:16 +02:00

games

pingus, quirc: fix pkgconfig passing

2017-10-10 17:23:10 +02:00

misc

Merge pull request #29871 from Ma27/vim-utils/override-capability

2017-10-08 12:58:37 +02:00

os-specific

linux: 4.14-rc3 -> 4.14-rc4

2017-10-10 13:07:42 -04:00

servers

xorg-server: security 1.19.3 -> 1.19.4

2017-10-08 17:32:13 +02:00

shells

antigen: init at 2.2.1 (#27266)

2017-10-10 01:39:04 +01:00

stdenv

Merge branch 'cc-wrapper-stdenvNoCC' into ericson2314-cross-base

2017-09-28 19:12:31 -04:00

test

…

tools

pingus, quirc: fix pkgconfig passing

2017-10-10 17:23:10 +02:00

top-level

coq: 8.7+beta1 -> 8.7+beta2

2017-10-11 03:02:01 +02:00