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
..
2023-06-04 10:59:34 +02:00
2023-03-13 15:08:33 +01:00
2022-11-11 18:09:58 +01:00
2023-03-13 15:17:24 +01:00
2022-05-31 14:54:02 -04:00
2023-05-07 19:28:57 +03:00
2023-03-13 15:08:33 +01:00
2022-11-11 18:09:58 +01:00
2023-03-13 15:08:33 +01:00
2023-01-17 16:05:20 +01:00
2023-03-16 18:37:01 +00:00
2022-08-03 17:43:29 +02:00
2022-11-11 18:09:58 +01:00
2023-01-15 15:57:49 +01:00
2023-03-13 15:17:24 +01:00
2022-09-11 15:46:32 +02:00
2022-10-14 20:41:33 +02:00
2022-05-16 14:17:01 +05:30
2023-04-14 15:35:36 -04:00
2022-03-19 13:33:06 -06:00
2022-12-07 09:47:08 -05:00
2023-03-10 14:49:56 +01:00
2022-09-02 17:04:46 +02:00
2023-03-13 15:17:24 +01:00
2023-02-26 10:26:16 +01:00
2022-11-11 18:09:58 +01:00
2022-12-20 21:19:33 -05:00
2023-03-13 15:08:33 +01:00
2023-03-13 15:17:24 +01:00
2023-03-13 15:17:24 +01:00
2023-04-09 12:55:46 -04:00
2023-05-06 13:53:21 +02:00
2023-04-12 08:29:18 -04:00
2022-09-07 11:30:31 +03:00
2022-10-27 21:30:03 +02:00
2022-06-22 13:53:55 -04:00
2023-04-14 17:15:08 -04:00
2022-06-15 10:17:25 +02:00
2022-06-17 18:49:06 +02:00
2023-03-13 15:08:33 +01:00
2023-03-27 18:48:52 +02:00
2023-02-12 11:32:20 +04:00
2022-09-02 17:04:46 +02:00
2022-09-02 17:04:46 +02:00
2023-03-13 15:17:24 +01:00