diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 1970-01-01 00:00:36 -0003 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2020-04-05 11:39:32 -0700 |
| commit | b3b33da07097af1c61d23f662902650dcdeb25af (patch) | |
| tree | 46e35193e45575700b6daa7ed6e8278d2f8978f5 /gnu/packages/lean.scm | |
| parent | 5e16e4401f854d39f5fbebaf247750e554bd4a09 (diff) | |
| download | patches-b3b33da07097af1c61d23f662902650dcdeb25af.tar patches-b3b33da07097af1c61d23f662902650dcdeb25af.tar.gz | |
gnu: linux-libre: Remove 5.6.
The corresponding kernel config files are not yet updated, so remove
linux-libre-5.6 until they can be reviewed. See bug #40190.
* gnu/packages/linux (linux-libre-5.6): Delete variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions