2017-08-26 16:06:20 +02:00
|
|
|
[rolling]
|
|
|
|
name = openmamba base repository [rolling]
|
2018-12-11 13:33:20 +01:00
|
|
|
mirrorlist = https://openmamba.org/mirrors.php?repo=devel&arch=$basearch
|
2017-08-26 16:06:20 +02:00
|
|
|
enabled = 1
|
2019-10-16 15:18:08 +02:00
|
|
|
gpgcheck = 0
|
|
|
|
repo_gpgcheck = 1
|
2017-11-15 02:33:52 +01:00
|
|
|
localpkg_gpgcheck = 0
|
2019-10-16 15:18:08 +02:00
|
|
|
gpgkey = file:///etc/pki/rpm-gpg/RPM-GPG-KEY-Mambasoft
|