From cefc4f678003921ffde4f008f8861758567f0c5c Mon Sep 17 00:00:00 2001 From: pmunts Date: Tue, 4 Apr 2023 02:40:11 -0700 Subject: [PATCH] muntsos_dev_* external support for RHEL (#781) --- index/mu/muntsos_dev_aarch64/muntsos_dev_aarch64-external.toml | 2 +- .../muntsos_dev_beaglebone/muntsos_dev_beaglebone-external.toml | 2 +- .../muntsos_dev_raspberrypi1-external.toml | 2 +- .../muntsos_dev_raspberrypi2-external.toml | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/index/mu/muntsos_dev_aarch64/muntsos_dev_aarch64-external.toml b/index/mu/muntsos_dev_aarch64/muntsos_dev_aarch64-external.toml index b845f6f8..e4d57ac4 100644 --- a/index/mu/muntsos_dev_aarch64/muntsos_dev_aarch64-external.toml +++ b/index/mu/muntsos_dev_aarch64/muntsos_dev_aarch64-external.toml @@ -10,4 +10,4 @@ maintainers-logins = ["pmunts"] kind = "system" hint = "Available at http://repo.munts.com/debian11 or http://repo.munts.com/muntsos/rpms" [external.origin."case(distribution)"] -"centos|debian|fedora|ubuntu" = ["muntsos-dev-aarch64"] +"centos|debian|fedora|rhel|ubuntu" = ["muntsos-dev-aarch64"] diff --git a/index/mu/muntsos_dev_beaglebone/muntsos_dev_beaglebone-external.toml b/index/mu/muntsos_dev_beaglebone/muntsos_dev_beaglebone-external.toml index f219a763..4438da5a 100644 --- a/index/mu/muntsos_dev_beaglebone/muntsos_dev_beaglebone-external.toml +++ b/index/mu/muntsos_dev_beaglebone/muntsos_dev_beaglebone-external.toml @@ -10,4 +10,4 @@ maintainers-logins = ["pmunts"] kind = "system" hint = "Available at http://repo.munts.com/debian11 or http://repo.munts.com/muntsos/rpms" [external.origin."case(distribution)"] -"centos|debian|fedora|ubuntu" = ["muntsos-dev-beaglebone"] +"centos|debian|fedora|rhel|ubuntu" = ["muntsos-dev-beaglebone"] diff --git a/index/mu/muntsos_dev_raspberrypi1/muntsos_dev_raspberrypi1-external.toml b/index/mu/muntsos_dev_raspberrypi1/muntsos_dev_raspberrypi1-external.toml index 540dffe1..a0f0e490 100644 --- a/index/mu/muntsos_dev_raspberrypi1/muntsos_dev_raspberrypi1-external.toml +++ b/index/mu/muntsos_dev_raspberrypi1/muntsos_dev_raspberrypi1-external.toml @@ -10,4 +10,4 @@ maintainers-logins = ["pmunts"] kind = "system" hint = "Available at http://repo.munts.com/debian11 or http://repo.munts.com/muntsos/rpms" [external.origin."case(distribution)"] -"centos|debian|fedora|ubuntu" = ["muntsos-dev-raspberrypi1"] +"centos|debian|fedora|rhel|ubuntu" = ["muntsos-dev-raspberrypi1"] diff --git a/index/mu/muntsos_dev_raspberrypi2/muntsos_dev_raspberrypi2-external.toml b/index/mu/muntsos_dev_raspberrypi2/muntsos_dev_raspberrypi2-external.toml index 896e9900..20cca55d 100644 --- a/index/mu/muntsos_dev_raspberrypi2/muntsos_dev_raspberrypi2-external.toml +++ b/index/mu/muntsos_dev_raspberrypi2/muntsos_dev_raspberrypi2-external.toml @@ -10,4 +10,4 @@ maintainers-logins = ["pmunts"] kind = "system" hint = "Available at http://repo.munts.com/debian11 or http://repo.munts.com/muntsos/rpms" [external.origin."case(distribution)"] -"centos|debian|fedora|ubuntu" = ["muntsos-dev-raspberrypi2"] +"centos|debian|fedora|rhel|ubuntu" = ["muntsos-dev-raspberrypi2"]