Jörg Thalheim ccdf2d3279 Merge pull request #28204 from dtzWill/update/yices-2.5.2 ...

yices: 2.5.1 -> 2.5.2

2017-08-12 19:18:44 +01:00

..

applications

Merge pull request #28204 from dtzWill/update/yices-2.5.2

2017-08-12 19:18:44 +01:00

build-support

cc-wrapper: fix LD_DYLD_PATH on darwin

2017-08-10 00:22:58 +02:00

common-updater

…

data

tests.plasma5: fix eval

2017-08-11 21:53:17 +02:00

desktops

treewide: remove automake pinning to the newest version

2017-08-12 18:49:58 +02:00

development

mongoc: 1.5.4 -> 1.7.0

2017-08-12 19:25:39 +02:00

games

soi: is not broken

2017-08-12 16:54:58 +02:00

misc

freestyle: remove

2017-08-12 13:27:41 +02:00

os-specific

Merge pull request #27983 from hhomar/openelec-dvb-firmware

2017-08-12 19:17:49 +01:00

servers

Merge pull request #28180 from fadenb/sonarr

2017-08-12 18:03:38 +01:00

shells

Merge pull request #28197 from mimadrid/update/zsh-5.4.1

2017-08-12 17:08:21 +01:00

stdenv

stdenv: fix typo in setup.sh

2017-08-09 17:33:02 +01:00

test

macos-sierra-shared: Make live code and add to nascent Darwin channel

2017-07-31 21:28:18 -04:00

tools

Merge pull request #28201 from mimadrid/update/axel-2.13.1

2017-08-12 19:01:15 +01:00

top-level

Merge pull request #27983 from hhomar/openelec-dvb-firmware

2017-08-12 19:17:49 +01:00