summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2018-04-19 18:55:23 -0400
committerMark H Weaver <mhw@netris.org>2018-04-19 18:55:23 -0400
commit872bda5de52a8f0514230ebc4e9680aab74f509a (patch)
treef18720037a4ae5fac5509a2b7a85e1a9de0ba4a6 /gnu/packages/idris.scm
parent58f427de8a1dcea298e4dcaaf3fe7c2bb2eb60c8 (diff)
gnu: linux-libre: Update to 4.16.3.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.16.3. (%linux-libre-hash): Update hash.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions