diff options
| author | pineapples <guixuser6392@protonmail.com> | 2021-05-08 12:58:15 +0200 |
|---|---|---|
| committer | pineapples <guixuser6392@protonmail.com> | 2021-05-08 12:58:15 +0200 |
| commit | 95c8e6e45fae5aec2a6ce53a790e0e2161c4b83e (patch) | |
| tree | d2ec76b9eff54455312706f9e658d64baddb727f /nongnu/packages/coq.scm | |
| parent | 9cefe6ac50ba2ee65a3891c2487b97e72af98ebf (diff) | |
nongnu: linux@5.11: Update to 5.11.19.
* nongnu/packages/linux.scm (linux-5.11): Update to 5.11.19.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions