/gnu/build/

b5bd7a1df40d6e03b3879a85ab2b2&showmsg=1'>Expand)Author 2024-10-12gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e....* gnu/packages/agda.scm (agda-1lab): Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. Change-Id: I0c0b5273c13152e079f9e62daffc5c051d62ca63 Josselin Poiret 2024-10-12gnu: agda-cubical: Update to 0.7....* gnu/packages/agda.scm (agda-cubical): Update to 0.7. Change-Id: I7a0b3e711974c4d93eea6a753054803acc7e5c30 Josselin Poiret 2024-10-12gnu: 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 Josselin Poiret 2024-10-12gnu: agda-stdlib: Update to 2.1.13...* gnu/packages/agda.scm (agda-stdlib): Update to 2.1.1. Change-Id: I0609d67730462edf69a98315e4ef187e8a516cbf Josselin Poiret 2024-10-12gnu: agda: Update to 2.7.0.1....* gnu/packages/agda.scm (agda): Update to 2.7.0.1. Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837 Josselin Poiret 2024-08-31gnu: agda: Fix build....* gnu/packages/agda.scm (agda)[arguments]: Don't refer to nonexistent 'compile' phase. Change-Id: Ibc9aa38a31c22c9be3a3997882e62129a47938a3 宋文武