aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-02-15 04:54:53 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2019-02-15 05:41:17 +0100
commitf95114e5dd9ae56581c730b73149de28d2765ce7 (patch)
tree8055bb22fb1d54bae1e2614f35f2aa4922d4ffd6 /gnu/packages/coq.scm
parentc6a2dd86c54c84e2410dd61fbae3264ca876f1ea (diff)
downloadpatches-f95114e5dd9ae56581c730b73149de28d2765ce7.tar
patches-f95114e5dd9ae56581c730b73149de28d2765ce7.tar.gz
gnu: ndctl: Update to 64.1.
* gnu/packages/disk.scm (ndctl): Update to 64.1. [inputs]: Add keyutils.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions