view monetdb.repo @ 20:a16fb3f9642d default tip

More cleanup.
author Sjoerd Mullender <sjoerd@acm.org>
date Fri, 01 Dec 2023 11:59:14 +0100 (17 months ago)
parents cb9f7f7c882e
children
line wrap: on
line source
[monetdb]
name=MonetDB $releasever - $basearch
baseurl=https://dev.monetdb.org/downloads/Fedora/$releasever/$basearch/
enabled=1
gpgcheck=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.4 file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.2

[monetdb-debuginfo]
name=MonetDB Debug $releasever - $basearch
baseurl=https://dev.monetdb.org/downloads/Fedora/debug/$releasever/$basearch/
enabled=0
gpgcheck=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.4 file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.2

[monetdb-source]
name=MonetDB Source $releasever - $basearch
baseurl=https://dev.monetdb.org/downloads/Fedora/source/
enabled=0
gpgcheck=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.4 file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.2

[monetdb-testing]
name=MonetDB Testing $releasever - $basearch
baseurl=https://dev.monetdb.org/downloads/testing/Fedora/$releasever/$basearch/
enabled=0
gpgcheck=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.4 file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.2

[monetdb-testing-debuginfo]
name=MonetDB Testing Debug $releasever - $basearch
baseurl=https://dev.monetdb.org/downloads/testing/Fedora/debug/$releasever/$basearch/
enabled=0
gpgcheck=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.4 file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.2

[monetdb-testing-source]
name=MonetDB Testing Source $releasever - $basearch
baseurl=https://dev.monetdb.org/downloads/testing/Fedora/source/
enabled=0
gpgcheck=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.4 file:///etc/pki/rpm-gpg/RPM-GPG-KEY-MonetDB-1.2