diff options
| author | Mark H Weaver <mhw@netris.org> | 2020-05-10 21:37:38 -0400 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2020-05-10 21:37:38 -0400 |
| commit | 2320bc27cf47935fdc6ff3eb1f403a6887baa7aa (patch) | |
| tree | dd52bff635a254ee52ce43f2583b6383435936f0 /gnu/packages/coq.scm | |
| parent | c855299ed8127ad6c156bc35359f84dec7710289 (diff) | |
| download | patches-2320bc27cf47935fdc6ff3eb1f403a6887baa7aa.tar patches-2320bc27cf47935fdc6ff3eb1f403a6887baa7aa.tar.gz | |
gnu: linux-libre: Update to 5.4.40.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.40.
(linux-libre-5.4-pristine-source): Update hash.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions