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