1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-28 05:00:29 +02:00
Files
guix/gnu/packages/patches
Josselin Poiret 2419302ca1 gnu: agda-categories: Update to 0.2.0.
* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch ->
gnu/packages/patches/agda-categories-use-newer-stdlib.patch: Adapt patch.
* gnu/local.mk (dist_patch_DATA): Change registered name to new name.
* gnu/packages/agda.scm (agda-categories): Update to 0.2.0.  Use new patch
name.

Change-Id: Id5d1e335fe22c2d5809116083ed72e7b9208d69e
2024-10-12 11:12:26 +02:00
..
2024-08-31 10:45:12 +02:00
2023-09-18 23:35:30 +02:00
2024-08-31 10:44:56 +02:00
2023-11-02 18:59:13 +01:00
2024-06-11 10:17:02 +01:00
2024-10-04 17:28:51 +02:00
2024-03-24 10:02:44 +00:00
2024-09-24 15:51:12 +04:00
2024-06-18 11:44:17 +02:00
2023-11-30 09:08:05 +01:00
2023-11-30 09:08:05 +01:00
2024-09-07 13:19:15 +02:00
2024-03-09 09:38:27 +08:00
2023-12-23 11:17:49 +01:00
2023-12-23 11:17:49 +01:00
2024-04-11 12:44:59 +02:00