Vladimír Čunát 001bde3df0 gcc45, gnat, ghdl: fix up the builds ...

Some parts are slightly puzzling, but it seems to work and it didn't
seem economical to put more effort into it.

2016-09-10 00:32:13 +02:00

..

applications

Merge #18434: slack: 2.1.0 -> 2.1.2

2016-09-09 21:46:20 +02:00

build-support

nixBufferBuilders.withPackages: Make more legible, special-case proof-general.

2016-09-05 17:55:49 -04:00

data

Merge pull request #18317 from Profpatsch/mustache-docs

2016-09-09 17:16:58 +02:00

desktops

evolution: improve out-of-gnome use

2016-09-08 14:05:38 +02:00

development

gcc45, gnat, ghdl: fix up the builds

2016-09-10 00:32:13 +02:00

games

mars: Fix build caused by missing GL/glu.h import

2016-09-09 11:28:03 +02:00

misc

uboot: Fix build

2016-09-08 02:37:11 +03:00

os-specific

multipath-tools: 0.5.0 -> 0.6.2, fixes build

2016-09-09 23:14:16 +02:00

servers

tomcat: add danbst as maintainer

2016-09-09 18:29:12 +02:00

shells

…

stdenv

…

test

…

tools

svtplay-dl: 1.1 -> 1.3

2016-09-09 22:59:34 +02:00

top-level

tomcat: 7.0.68 -> 7.0.70, 8.0.32 -> 8.0.37, init 8.5.5, init 9.0.0.M10

2016-09-09 18:29:12 +02:00