diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-01-25 23:39:34 +0100 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-01-25 23:39:34 +0100 |
| commit | 746d18cdbdca0fcbfebf50b8b26c955f03e67efc (patch) | |
| tree | dfe68610f123eec423d767b51f382f2bf663a640 /nongnu/packages/coq.scm | |
| parent | b057e023c39c1fe595ae82569fb2f60ef61dfb74 (diff) | |
nongnu: linux@4.9: Update to 4.9.253.
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.253.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions