diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-08-07 09:27:31 -0500 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-08-07 09:27:31 -0500 |
| commit | 8dd02f2c92e4c83bffa0fd616df4cfec38012b9d (patch) | |
| tree | 03d035969f222115829ca9752c31a539a8385e5f /nongnu/packages/coq.scm | |
| parent | dedb927d911798b9a5735f7ef4360c0ae5f88eda (diff) | |
nongnu: linux: Update to 5.4.57.
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.57.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions