Josselin Poiret 80d1228321 build-system: New agda-build-system. ...

* guix/build-system/agda.scm: New file.
* guix/build/agda-build-system.scm: New file.
* Makefile.am (MODULES): Register them.
* doc/guix.texi (Build Systems): Add documentation for agda-build-system.

2023-06-04 10:59:34 +02:00

..

images

doc: Add the "Full-source Bootstrap".

2022-05-12 19:27:59 +02:00

build.scm

doc: Adjust HTML patterns to correctly process Texinfo 6.8 output.

2023-05-25 23:24:40 +02:00

contributing.texi

doc: contributing.texi: Specify recipient via equal sign in 'git send-email --to'.

2023-05-24 15:04:00 +02:00

environment-gdb.scm

doc: Update "guix shell -D -f" example to new input style.

2022-01-14 22:39:24 +01:00

fdl-1.3.texi

…

guix-cookbook.texi

services: screen-locker-service-type: Configurable PAM and setuid.

2023-06-04 10:33:55 +02:00

guix.texi

build-system: New agda-build-system.

2023-06-04 10:59:34 +02:00

he-config-bare-bones.scm

doc: Update example of a minimalistic home environment.

2022-06-10 22:42:49 +02:00

htmlxref.cnf

doc: Update URLs for the manual and cookbook translations.

2022-12-18 16:01:32 +01:00

local.mk

doc: Build more man pages.

2022-11-19 19:54:14 +01:00

package-hello.json

…

package-hello.scm

…