diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-04-08 08:22:14 -0500 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-04-08 08:22:14 -0500 |
| commit | c42505e8947ad5888b420dc4c8164aa0e2a076dd (patch) | |
| tree | 5db7825b80871e8586865b48e51be9a9ba52633b /nongnu/packages/coq.scm | |
| parent | a66e21377de9131ef5d261c4754010e7206679ab (diff) | |
nongnu: linux: Update to 5.4.31.
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.31.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions