muntsos_dev_* external support for RHEL (#781)

This commit is contained in:
pmunts
2023-04-04 02:40:11 -07:00
committed by GitHub
parent b946ee8a21
commit cefc4f6780
4 changed files with 4 additions and 4 deletions
@@ -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"]
@@ -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"]
@@ -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"]
@@ -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"]