diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-04-02 09:52:55 -0500 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-04-02 09:53:09 -0500 |
| commit | 8235a635b5cd98f37e1f613bbbfc8788e2de9b9f (patch) | |
| tree | 0e3994a6f1e9846b47e471ab26b3d239be3e88ed /nongnu/packages/coq.scm | |
| parent | cdaaeb627723f9d62fd2c38ae8806ed236b24825 (diff) | |
nongnu: linux@4.19: Update to 4.19.114.
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.114.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions