diff options
| author | Mark H Weaver <mhw@netris.org> | 2019-02-27 13:47:15 -0500 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2019-02-27 13:47:15 -0500 |
| commit | fd5784d88924b8fd57f13aa26dc9596cac511a3e (patch) | |
| tree | d898c358b52ea0bb3e67a83cceafc86280e8486c /gnu/packages/coq.scm | |
| parent | 70b1b5b7d02196ba0ba23d4c3ae7b5a880fc25ac (diff) | |
| download | guix-fd5784d88924b8fd57f13aa26dc9596cac511a3e.tar guix-fd5784d88924b8fd57f13aa26dc9596cac511a3e.tar.gz | |
gnu: linux-libre@4.19: Update to 4.19.26.
* gnu/packages/linux.scm (%linux-libre-4.19-version): Update to 4.19.26.
(%linux-libre-4.19-hash): Update hash.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions