gnu: Remove duplicated linux-libre packages.

Remove linux-libre-arm-generic-5.7 and linux-libre-arm64-generic-5.7 that are
respectively duplicating linux-libre-arm-generic and linux-libre-arm64-generic.

Fixes: https://issues.guix.gnu.org/42794.

* gnu/packages/linux.scm (linux-libre-arm-generic-5.7,
linux-libre-arm64-generic-5.7): Remove them.
This commit is contained in:
Mathieu Othacehe 2020-08-10 14:37:54 +02:00
parent 5d6ff1e828
commit 6463578384
No known key found for this signature in database
GPG key ID: 8354763531769CA6

View file

@ -917,18 +917,6 @@ (define-public linux-libre-arm-generic
("CONFIG_RTC_DRV_RK808" . #t)) ("CONFIG_RTC_DRV_RK808" . #t))
%default-extra-linux-options))) %default-extra-linux-options)))
(define-public linux-libre-arm-generic-5.7
(make-linux-libre* linux-libre-5.7-version
linux-libre-5.7-source
'("armhf-linux")
#:defconfig "multi_v7_defconfig"
#:extra-version "arm-generic"
#:extra-options
(append
`(;; needed to fix the RTC on rockchip platforms
("CONFIG_RTC_DRV_RK808" . #t))
%default-extra-linux-options)))
(define-public linux-libre-arm-veyron (define-public linux-libre-arm-veyron
(deprecated-package "linux-libre-arm-veyron" linux-libre-arm-generic)) (deprecated-package "linux-libre-arm-veyron" linux-libre-arm-generic))
@ -979,18 +967,6 @@ (define-public linux-libre-arm64-generic
("CONFIG_RTC_DRV_RK808" . #t)) ("CONFIG_RTC_DRV_RK808" . #t))
%default-extra-linux-options))) %default-extra-linux-options)))
(define-public linux-libre-arm64-generic-5.7
(make-linux-libre* linux-libre-5.7-version
linux-libre-5.7-source
'("aarch64-linux")
#:defconfig "defconfig"
#:extra-version "arm64-generic"
#:extra-options
(append
`(;; needed to fix the RTC on rockchip platforms
("CONFIG_RTC_DRV_RK808" . #t))
%default-extra-linux-options)))
(define-public linux-libre-riscv64-generic (define-public linux-libre-riscv64-generic
(make-linux-libre* linux-libre-version (make-linux-libre* linux-libre-version
linux-libre-source linux-libre-source