diff options
| author | pineapples <guixuser6392@protonmail.com> | 2021-07-20 21:39:31 +0200 |
|---|---|---|
| committer | pineapples <guixuser6392@protonmail.com> | 2021-07-20 21:39:31 +0200 |
| commit | a200e62b4bab791431a03bbc9aa5c3ad604d9dc6 (patch) | |
| tree | 01fb589d2d248170f400119f54d74d944678ad52 /nongnu/packages/coq.scm | |
| parent | 8b3b48933f0be97c41be5d898a55b08e9d6ee24c (diff) | |
nongnu: linux@4.14: Update to 4.14.240.
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.240.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions