diff options
author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2020-10-25 00:59:51 +0200 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2020-10-25 00:59:51 +0200 |
commit | 67a5e39a5d8d28d2b201665caad2b3de622b41b1 (patch) | |
tree | 27e52550913eb70a1b8e0733774da99e19ccad46 /nongnu/packages/coq.scm | |
parent | 941ec35211d65105ab0eab80ed282cb8b7e2be03 (diff) |
nongnu: linux@4.19: Update to 4.19.152.
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.152.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions