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] f44: no longer build with --no-libraries: fixes rhbz#2248716
Date: Tue, 23 Jun 2026 07:59:59 GMT
Message-ID: <178220159931.1.17964876011728766474.rpms-Agda-stdlib-bed37077dd36@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/Agda-stdlib
X-Git-Branch: f44
X-Git-Rev: bed37077dd36a1b69d0028bef4c7c9f34e9df211

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvQWdkYS1zdGRsaWIK
QnJhbmNoIDogZjQ0CkNvbW1pdCA6IGJlZDM3MDc3ZGQzNmExYjY5ZDAwMjhiZWY0YzdjOWYzNGU5
ZGYyMTEKQXV0aG9yIDogSmVucyBQZXRlcnNlbiA8cGV0ZXJzZW5AcmVkaGF0LmNvbT4KRGF0ZSAg
IDogMjAyNi0wNi0yM1QxNTowMzo0NyswODowMApTdGF0cyAgOiArMS8tMSBpbiAxIGZpbGUocykK
VVJMICAgIDogaHR0cHM6Ly9zcmMuZmVkb3JhcHJvamVjdC5vcmcvcnBtcy9BZ2RhLXN0ZGxpYi9j
L2JlZDM3MDc3ZGQzNmExYjY5ZDAwMjhiZWY0YzdjOWYzNGU5ZGYyMTE/YnJhbmNoPWY0NAoKTG9n
OgpubyBsb25nZXIgYnVpbGQgd2l0aCAtLW5vLWxpYnJhcmllczogZml4ZXMgcmhieiMyMjQ4NzE2
CgotLS0KZGlmZiAtLWdpdCBhL0FnZGEtc3RkbGliLnNwZWMgYi9BZ2RhLXN0ZGxpYi5zcGVjCmlu
ZGV4IDAwNjYyNjcuLjZmOTM3ZjcgMTAwNjQ0Ci0tLSBhL0FnZGEtc3RkbGliLnNwZWMKKysrIGIv
QWdkYS1zdGRsaWIuc3BlYwpAQCAtNDIsNyArNDIsNyBAQCBnZW5lcmF0ZWQgYnkgdGhlIEFnZGEg
Y29tcGlsZXIgcHJvZ3JhbS4KICVnaGNfYmluX2J1aWxkCiBkaXN0L2J1aWxkL0dlbmVyYXRlRXZl
cnl0aGluZy9HZW5lcmF0ZUV2ZXJ5dGhpbmcKIAotJWdsb2JhbCBhZ2RhIGFnZGEgLS1uby1saWJy
YXJpZXMgLWkuIC1pc3JjCislZ2xvYmFsIGFnZGEgYWdkYSAtaS4gLWlzcmMKICV7YWdkYX0gRXZl
cnl0aGluZy5hZ2RhCiAKICV7YWdkYX0gLS1odG1sIC1pZG9jIGRvYy9SRUFETUUuYWdkYQo=