diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-04-01 07:39:03 -0500 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-04-01 07:39:03 -0500 |
| commit | 379e5b74babbe86dff2895848fcd580e84d46d42 (patch) | |
| tree | 76f50aaef8f9e12c486f8c87594a8a85351cae6e /nongnu/packages/coq.scm | |
| parent | 3429bf94b8e47a51ddf7a7c5727c1d477d1d3630 (diff) | |
nongnu: linux: Update to 5.4.29.
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.29.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions