John Soo 276f598abc gnu: Add agda-ial. ...

* gnu/packages/agda.scm (agda-ial): new variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

2019-08-28 00:27:14 +02:00

..

bootloader

bootloader: grub: Remove unneeded 'terminal_output'.

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

build

accounts: Delete duplicate entries.

2019-08-28 00:27:14 +02:00

installer

installer: Hide the Wi-Fi passphrase by default.

2019-08-26 15:56:33 +02:00

machine

machine: ssh: Fix sanity checks.

2019-08-17 20:45:13 +08:00

packages

gnu: Add agda-ial.

2019-08-28 00:27:14 +02:00

services

services: cups: Update SSL-OPTIONS docstring.

2019-08-27 08:58:37 +02:00

system

linux-modules: Define and use a module name database.

2019-08-16 23:00:27 +02:00

tests

pack: Create /tmp in Docker images.

2019-08-27 12:20:44 +02:00

artwork.scm

artwork: Update snapshot to 2f2fe74.

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

bootloader.scm

bootloader: Add a 'keyboard-layout' field.

2019-03-24 23:06:11 +01:00

ci.scm

ci: Try hard to build package replacements.

2019-08-26 13:40:46 +02:00

installer.scm

installer: Partition as the last step.

2019-08-26 15:56:33 +02:00

local.mk

Merge branch 'wip-binaries'

2019-08-26 23:28:58 -04:00

machine.scm

machine: Implement 'roll-back-machine'.

2019-08-15 07:43:09 -04:00

packages.scm

packages: 'specification->package+output' distinguishes "no output specified".

2019-06-27 11:14:41 +02:00

services.scm

remote: Remove '--system' argument.

2019-08-14 15:38:13 -04:00

system.scm

system: Add 'operating-system-with-gc-roots'.

2019-05-15 16:36:21 +02:00

tests.scm

accounts: Add default value for the 'home-directory' field of <user-account>.

2019-03-25 23:37:06 +01:00