This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.

Alex ter Weele f61682e7ea gnu: Add agda. ... * gnu/packages/agda.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add adga.scm. Signed-off-by: Marius Bakke <mbakke@fastmail.com>		2018-02-26 01:42:35 +01:00
..
bootloader	gnu: Pass "--target=i386-pc" when installing GRUB for legacy BIOS.	2018-02-18 12:28:56 +01:00
build	marionette: Use QEMU's "VM channel" mechanism.	2018-02-19 22:04:11 +01:00
packages	gnu: Add agda.	2018-02-26 01:42:35 +01:00
services	services: certbot: Allow to set a deploy hook.	2018-02-22 21:43:54 +01:00
system	Merge branch 'master' into core-updates	2018-02-16 13:14:26 -05:00
tests	tests: Remove outdated comment.	2018-02-19 22:04:11 +01:00
artwork.scm	…
bootloader.scm	…
local.mk	gnu: Add agda.	2018-02-26 01:42:35 +01:00
packages.scm	…
services.scm	…
system.scm	…
tests.scm	marionette: Use QEMU's "VM channel" mechanism.	2018-02-19 22:04:11 +01:00