summary refs log tree commit diff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2019-07-28 19:00:12 -0400
committerMark H Weaver <mhw@netris.org>2019-07-28 19:00:12 -0400
commitab20b3ed9152c7c95d0d2c6b2d65e29983ab57ce (patch)
treeb4ec13e945d53d5f16d9f9aa29675c377612288a /gnu/packages/idris.scm
parentb64b66b890188aff9e7f23c6e85e715d7101f68e (diff)
downloadguix-ab20b3ed9152c7c95d0d2c6b2d65e29983ab57ce.tar.gz
gnu: linux-libre: Update to 5.2.4.
* gnu/packages/linux.scm (linux-libre-5.2-version): Update to 5.2.4.
(linux-libre-5.2-pristine-source)[hash]: Update hash.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions