diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-08-07 09:27:20 -0500 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-08-07 09:27:20 -0500 |
| commit | dedb927d911798b9a5735f7ef4360c0ae5f88eda (patch) | |
| tree | ece30ec5c1576ecdb90c87378eb30005daa81cd5 /nongnu/packages/coq.scm | |
| parent | 71289b2e0af67c35340de717ed9d92edd871f40f (diff) | |
nongnu: linux@4.19: Update to 4.19.138.
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.138.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions