diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-04-04 10:49:40 -0500 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-04-04 11:51:23 -0500 |
| commit | 8d2c3b5bb38ec98420f7dd6518850cde8cf50e2f (patch) | |
| tree | 026a096ef0ae81a9a04e288b776b7f61489aa290 /nongnu/packages/coq.scm | |
| parent | 3e0061f87e49bed7d33eb52bc0dc3d5ca4fc1cb9 (diff) | |
nongnu: Add linux 5.6.2.
* nongnu/packages/linux.scm (linux-5.6): New variable.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions