diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-04-02 12:44:52 -0500 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-04-02 12:44:52 -0500 |
| commit | 3e0061f87e49bed7d33eb52bc0dc3d5ca4fc1cb9 (patch) | |
| tree | 2a111773e7e9f3f6c0a3951c6a2e2cb5776520ea /nongnu/packages/coq.scm | |
| parent | abf84ae83617d54c0cc92516bde1611de34d6484 (diff) | |
nongnu: linux@4.9: Update to 4.9.218.
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.218.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions