diff options
author | Vagrant Cascadian <vagrant@debian.org> | 2020-06-02 22:55:19 -0700 |
---|---|---|
committer | Vagrant Cascadian <vagrant@debian.org> | 2020-06-08 13:05:51 -0700 |
commit | 076779c4d4669c7f72c5f04b6d7ba73244478e73 (patch) | |
tree | 6a60cec43e158992597c22da1bde34b8ef7eee11 /gnu/packages/mpi.scm | |
parent | 637b64ce7c185891339ae8b78c020a336995b64d (diff) |
gnu: Add linux-libre-arm-generic-5.7.
* gnu/packages/linux (linux-libre-arm-generic): New variable.
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions