Orivej Desh e62de88d11

Merge pull request #31721 from vbgl/proofgeneral-20171106 ...

proofgeneral_HEAD: 2017-05-06 -> 2017-11-06

2017-11-16 20:54:49 +00:00

..

applications

Merge pull request #31721 from vbgl/proofgeneral-20171106

2017-11-16 20:54:49 +00:00

build-support

Merge pull request #31356 from FRidh/fetchgitPrivate

2017-11-10 10:57:50 +01:00

common-updater

…

data

papirus-icon-theme: 20170715 -> 20171102

2017-11-14 15:58:01 +01:00

desktops

Merge pull request #31024 from yegortimoshenko/xfce4-panel/gettext

2017-11-16 20:49:34 +00:00

development

gcc-snapshot: mark as broken

2017-11-16 20:22:10 +00:00

games

factorio: 0.15.34 -> 0.15.37

2017-11-16 15:48:00 +01:00

misc

materia-theme: 20171005 -> 20171112

2017-11-14 22:39:52 -02:00

os-specific

linux-copperhead: 4.13.12.a -> 4.13.13.a

2017-11-16 13:58:47 -05:00

servers

Merge pull request #31749 from ryantm/mattermost-4.4.0

2017-11-16 20:02:08 +00:00

shells

nix-zsh-completions: 0.3.2 -> 0.3.3

2017-11-13 11:33:08 +01:00

stdenv

darwin.make-bootstrap-tools: fix ICU reference to improve purity

2017-11-13 20:27:11 -05:00

test

…

tools

Merge pull request #31735 from dywedir/fd

2017-11-16 20:50:37 +00:00

top-level

breakpad: delete

2017-11-16 20:43:33 +03:00