diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-04-13 11:31:33 -0500 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-04-13 11:41:13 -0500 |
| commit | 1be9f957d84ae6421ac487a23aec7a6ce41ee415 (patch) | |
| tree | 8d750d5373d77a7662b53e7f4ccedf0af4cae4d1 /nongnu/packages/coq.scm | |
| parent | bdb60f5da4ac8e30821101dd13e02c6a121fae30 (diff) | |
nongnu: linux@4.19: Update to 4.19.115.
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.115.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions