aboutsummaryrefslogtreecommitdiff
path: root/gnu/local.mk
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions
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 宋文武