aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2022-01-13 19:01:12 +0200
committerEfraim Flashner <efraim@flashner.co.il>2022-01-14 11:41:24 +0200
commit15216a06fe259b4f5058c74236939ba69fa02002 (patch)
tree0e159f995791d18ff236a174b0014aad20d5127d /gnu/packages/agda.scm
parent8a018533bab42eb719315c1ba5adb099c7d6b6d8 (diff)
downloadguix-15216a06fe259b4f5058c74236939ba69fa02002.tar.gz
guix-15216a06fe259b4f5058c74236939ba69fa02002.zip
gnu: glibc-locales: Allow finding newer versions.
* gnu/packages/base.scm (glibc-locales)[properties]: New field.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions