summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2020-11-04 15:52:35 +0200
committerEfraim Flashner <efraim@flashner.co.il>2020-11-04 20:28:31 +0200
commit7a67a45fa66dd77e544b33140ec385aeaa6e74b3 (patch)
tree992baa893a4321d35af9d56c2b31e8aba29dc82f /gnu/packages/agda.scm
parent66741676bff74e6c6591ed957efcc7ad08b0122f (diff)
gnu: thermald: Update to 2.2.
* gnu/packages/admin.scm (thermald): Update to 2.2. [arguments]: Remove sysconfdir flag from configure-flags. [native-inputs]: Add autoconf-archive.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions