diff options
| author | pineapples <guixuser6392@protonmail.com> | 2021-08-05 13:00:44 +0200 |
|---|---|---|
| committer | pineapples <guixuser6392@protonmail.com> | 2021-08-05 13:00:44 +0200 |
| commit | 5cf9d9e69c5cba86446b8b40e42777258896a3a3 (patch) | |
| tree | e37cbab35755f23d2da583ee2061684b042de6c2 /nongnu/packages/coq.scm | |
| parent | dc432081734fad176b29d90cd2a771eb09afd5fd (diff) | |
nongnu: linux@4.14: Update to 4.14.242.
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.242.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions