diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2020-04-03 22:14:53 +0000 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2020-04-03 16:09:12 -0700 |
| commit | f97a4279f0192e5c6b52322eff3769f184c335eb (patch) | |
| tree | c20655138efe499f1ab0f6f3223b82ae269785d0 /gnu/packages/coq.scm | |
| parent | 3e91ca4476fdb77e9c43f3a30c8c241ed2ea2e10 (diff) | |
gnu: Add linux-libre-arm64-generic-5.6.
* gnu/packages/linux (linux-libre-arm64-generic-5.6): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions