diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-06-20 10:20:51 -0500 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-06-20 10:20:51 -0500 |
| commit | 31bc20d52ced79d1ed53aad5956d719fccfff602 (patch) | |
| tree | 4c62f1c194507514cfa57b4a1f323c156974ac83 /nongnu/packages/coq.scm | |
| parent | 9f2eff9c6ffee3aa4a7ccb8ffe940b4ccb35a6d1 (diff) | |
nongnu: linux@4.4: Update to 4.4.228.
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.228.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions