diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-02-02 22:10:58 +0100 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-02-02 22:10:58 +0100 |
| commit | f4b1320b48ea3c84c111300106f381328f13d6d5 (patch) | |
| tree | 5738b454187d95c9529f506d38f6e21c56918b34 /nongnu/packages/coq.scm | |
| parent | fd668447b30745e29f7f0fab5d89334e5b313a7e (diff) | |
nongnu: linux@5.10: Update to 5.10.12.
* nongnu/packages/linux.scm (linux-5.10): Update to 5.10.12.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions