diff options
| author | Mark H Weaver <mhw@netris.org> | 2019-11-07 01:11:00 -0500 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2019-11-07 01:11:00 -0500 |
| commit | 13209ecbb9cd379e378d78e19e0fe52b333c187b (patch) | |
| tree | 573b8f0cfb7f0f77ce46464f5b651276d30b7156 /gnu/packages/coq.scm | |
| parent | fdfa42fbbc1c4138bc17e9fc03f3cbe2d1ae8a30 (diff) | |
gnu: linux-libre@4.14: Update to 4.14.152.
* gnu/packages/linux.scm (linux-libre-4.14-version): Update to 4.14.152.
(linux-libre-4.14-pristine-source): Update hash.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions