Pascal Wittmann 526a777ee6 Merge pull request #8104 from vbgl/why3-86 ...

why3: update from 0.85 to 0.86.1

2015-06-01 20:20:56 +02:00

..

applications

Merge pull request #8104 from vbgl/why3-86

2015-06-01 20:20:56 +02:00

build-support

Fix ca-bundle paths

2015-05-29 14:03:34 -07:00

data

Merge pull request #8009 from dnhgff/zeal-doc-xlibs

2015-06-01 16:00:43 +02:00

desktops

xfce4-power-manager: 1.4.3 -> 1.4.4

2015-05-31 12:15:24 +02:00

development

Merge pull request #7479 from bobvanderlinden/hwinfo

2015-06-01 17:09:00 +02:00

games

minetest: LuaJIT, in-app mod store, better fonts and enable translations

2015-05-31 11:36:56 -05:00

misc

sails: don't treat warnings as errors to fix the build

2015-06-01 12:10:48 +02:00

os-specific

samba: Revert style changes and get rid of some dependencies

2015-06-01 15:35:59 +02:00

servers

samba: Revert style changes and get rid of some dependencies

2015-06-01 15:35:59 +02:00

shells

cygwin: bash updated to 4.3 for cygwin platform

2015-05-29 10:18:06 +02:00

stdenv

cygwin: stdenv

2015-05-28 10:53:34 +02:00

test

…

tools

Merge pull request #8117 from monocell/add-crackxls

2015-06-01 18:51:58 +02:00

top-level

Merge pull request #8117 from monocell/add-crackxls

2015-06-01 18:51:58 +02:00