diff options
author | Alex Griffin <a@ajgrf.com> | 2020-04-13 11:31:00 -0500 |
---|---|---|
committer | Alex Griffin <a@ajgrf.com> | 2020-04-13 11:41:13 -0500 |
commit | bdb60f5da4ac8e30821101dd13e02c6a121fae30 (patch) | |
tree | ae39a034ea3f4761f8cf6ad689ba63699c5453a5 /nongnu/packages/coq.scm | |
parent | 2f8b92064cd69010c3c6999c9e91005f8a897a03 (diff) |
nongnu: linux@4.14: Update to 4.14.176.
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.176.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions