Tobias Geerinckx-Rice d9c8009832 gnu: agda: Update to 2.5.4.2. ...

* gnu/packages/agda.scm (agda): Update to 2.5.4.2.
[inputs]: Remove cpphs.

2019-02-24 17:51:28 +01:00

..

bootloader

gnu: Add u-boot-pinebook.

2018-11-22 21:59:05 +01:00

build

linux-modules: module-soft-dependencies: Remove colon from section names.

2019-01-25 18:24:00 +01:00

installer

gnu: Remove unused TIMEZONE-LISTBOX-HEIGTH.

2019-02-18 01:52:48 +01:00

packages

gnu: agda: Update to 2.5.4.2.

2019-02-24 17:51:28 +01:00

services

services: xorg: Enable override of xserver-arguments.

2019-02-17 08:48:49 +01:00

system

pack, vm: Fix incorrect use of 'package-transitive-propagated-inputs'.

2019-02-11 23:23:28 +01:00

tests

gnu: Remove duplicate record fields.

2019-01-22 23:04:05 +01:00

artwork.scm

artwork: Update snapshot to e951905.

2019-02-10 23:25:01 +01:00

bootloader.scm

bootloader: Remove deprecated 'device' field.

2019-01-16 14:07:38 +01:00

ci.scm

ci: Skip system tests on armhf-linux.

2019-01-21 10:19:31 +01:00

installer.scm

gnu: Move most packages from guile.scm to new module.

2019-01-28 14:57:10 +01:00

local.mk

gnu: Add libtommath.

2019-02-24 10:39:51 +02:00

packages.scm

packages: Remove duplicates from package cache.

2019-02-16 01:00:08 +01:00

services.scm

…

system.scm

gnu: Add graphical installer support.

2019-01-17 14:04:20 +01:00

tests.scm

…