Marius Bakke 57d87f435f gnu: supertux: Adjust for recent GCC and Boost. ...

* gnu/packages/patches/supertux-fix-build-with-gcc5.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/games.scm (supertux)[source](patches): Remove.
[arguments]: Adjust <#:configure-flags>.

2019-07-19 18:00:41 +02:00

..

bootloader

bootloader: grub: Remove unneeded 'terminal_output'.

2019-05-09 12:11:36 +02:00

build

Merge branch 'master' into core-updates

2019-07-12 01:03:53 +02:00

installer

installer: Fix typo.

2019-06-08 02:30:25 +02:00

machine

machine: Fix typo.

2019-07-18 12:57:00 +02:00

packages

gnu: supertux: Adjust for recent GCC and Boost.

2019-07-19 18:00:41 +02:00

services

services: network-manager: Clear default OpenVPN user.

2019-07-17 11:08:26 +02:00

system

etc: Remove hydra.gnu.org.pub key.

2019-06-29 14:27:22 +02:00

tests

tests: encrypted-root-os: Increase root partition size.

2019-07-06 16:17:24 +02:00

artwork.scm

artwork: Update snapshot to 2f2fe74.

2019-06-10 23:11:07 +02:00

bootloader.scm

…

ci.scm

ci: 'channel-build-system' honors the target system.

2019-07-06 16:17:24 +02:00

installer.scm

installer: Increase backtrace verbosity.

2019-05-15 09:28:45 +02:00

local.mk

gnu: supertux: Adjust for recent GCC and Boost.

2019-07-19 18:00:41 +02:00

machine.scm

gnu: Add machine type for deployment specifications.

2019-07-06 02:10:04 -04:00

packages.scm

Merge branch 'master' into core-updates

2019-06-27 23:33:48 +02:00

services.scm

services: 'gc-root-service-type' now has a default value.

2019-05-10 23:29:18 +02:00

system.scm

system: Write the timezone to /etc/timezone.

2019-07-16 21:53:05 -04:00

tests.scm

…