diff options
| author | Mark H Weaver <mhw@netris.org> | 2019-02-07 13:56:44 -0500 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2019-02-07 13:56:44 -0500 |
| commit | d5240bc09d3f060de219b5f1a1cc0410ba4c9f36 (patch) | |
| tree | 7fabf760320833ec789f78e17739994399f39cf0 /gnu/packages/coq.scm | |
| parent | 43194fbe3c9021372d13fcb1f642e23f67929f63 (diff) | |
| download | patches-d5240bc09d3f060de219b5f1a1cc0410ba4c9f36.tar patches-d5240bc09d3f060de219b5f1a1cc0410ba4c9f36.tar.gz | |
gnu: linux-libre: Update to 4.20.7.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.20.7.
(%linux-libre-hash): Update hash.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions