aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2020-05-13 00:39:40 +0200
committerMarius Bakke <mbakke@fastmail.com>2020-05-13 00:57:15 +0200
commit1a75fc8442cb2c9fa644d52f600e608279c87698 (patch)
tree62b65a5c9ae1aabca42ddca3f3c5c6503ac5a095 /gnu/packages/idris.scm
parent5d5327c2ba78f28993d73a3e19d9f489b5b4968e (diff)
downloadguix-1a75fc8442cb2c9fa644d52f600e608279c87698.tar.gz
guix-1a75fc8442cb2c9fa644d52f600e608279c87698.zip
gnu: glm: Update to 0.9.9.8.
* gnu/packages/patches/glm-restore-install-target.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/maths.scm (glm): Update to 0.9.9.8. [arguments]: New field.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions