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
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
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
htmlxref.cnf
local.mk
package-hello.json
package-hello.scm