From mboxrd@z Thu Jan  1 00:00:00 1970
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
From: Jens Petersen <petersen@redhat.com>
To: git-commits@fedoraproject.org
Subject: [rpms/Agda-stdlib] rawhide: no longer build with --no-libraries: fixes rhbz#2248716
Date: Tue, 23 Jun 2026 07:08:02 GMT
Message-ID: <178219848232.1.4055565569198860038.rpms-Agda-stdlib-bed37077dd36@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/Agda-stdlib
X-Git-Branch: rawhide
X-Git-Rev: bed37077dd36a1b69d0028bef4c7c9f34e9df211

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvQWdkYS1zdGRsaWIK
QnJhbmNoIDogcmF3aGlkZQpDb21taXQgOiBiZWQzNzA3N2RkMzZhMWI2OWQwMDI4YmVmNGM3Yzlm
MzRlOWRmMjExCkF1dGhvciA6IEplbnMgUGV0ZXJzZW4gPHBldGVyc2VuQHJlZGhhdC5jb20+CkRh
dGUgICA6IDIwMjYtMDYtMjNUMTU6MDM6NDcrMDg6MDAKU3RhdHMgIDogKzEvLTEgaW4gMSBmaWxl
KHMpClVSTCAgICA6IGh0dHBzOi8vc3JjLmZlZG9yYXByb2plY3Qub3JnL3JwbXMvQWdkYS1zdGRs
aWIvYy9iZWQzNzA3N2RkMzZhMWI2OWQwMDI4YmVmNGM3YzlmMzRlOWRmMjExP2JyYW5jaD1yYXdo
aWRlCgpMb2c6Cm5vIGxvbmdlciBidWlsZCB3aXRoIC0tbm8tbGlicmFyaWVzOiBmaXhlcyByaGJ6
IzIyNDg3MTYKCi0tLQpkaWZmIC0tZ2l0IGEvQWdkYS1zdGRsaWIuc3BlYyBiL0FnZGEtc3RkbGli
LnNwZWMKaW5kZXggMDA2NjI2Ny4uNmY5MzdmNyAxMDA2NDQKLS0tIGEvQWdkYS1zdGRsaWIuc3Bl
YworKysgYi9BZ2RhLXN0ZGxpYi5zcGVjCkBAIC00Miw3ICs0Miw3IEBAIGdlbmVyYXRlZCBieSB0
aGUgQWdkYSBjb21waWxlciBwcm9ncmFtLgogJWdoY19iaW5fYnVpbGQKIGRpc3QvYnVpbGQvR2Vu
ZXJhdGVFdmVyeXRoaW5nL0dlbmVyYXRlRXZlcnl0aGluZwogCi0lZ2xvYmFsIGFnZGEgYWdkYSAt
LW5vLWxpYnJhcmllcyAtaS4gLWlzcmMKKyVnbG9iYWwgYWdkYSBhZ2RhIC1pLiAtaXNyYwogJXth
Z2RhfSBFdmVyeXRoaW5nLmFnZGEKIAogJXthZ2RhfSAtLWh0bWwgLWlkb2MgZG9jL1JFQURNRS5h
Z2RhCg==