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: Fedora Release Engineering <releng@fedoraproject.org>
To: git-commits@fedoraproject.org
Subject: [rpms/Agda-stdlib] rawhide: Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
Date: Wed, 15 Jul 2026 17:31:36 GMT
Message-ID: <178413669682.1.6160704212118414489.rpms-Agda-stdlib-a74f11d904e6@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/Agda-stdlib
X-Git-Branch: rawhide
X-Git-Rev: a74f11d904e64c672304b90ca47f1f893eb7f8db

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMvQWdkYS1zdGRsaWIK
QnJhbmNoIDogcmF3aGlkZQpDb21taXQgOiBhNzRmMTFkOTA0ZTY0YzY3MjMwNGI5MGNhNDdmMWY4
OTNlYjdmOGRiCkF1dGhvciA6IEZlZG9yYSBSZWxlYXNlIEVuZ2luZWVyaW5nIDxyZWxlbmdAZmVk
b3JhcHJvamVjdC5vcmc+CkRhdGUgICA6IDIwMjYtMDctMTVUMTc6MzE6MzMrMDA6MDAKU3RhdHMg
IDogKzAvLTAgaW4gMCBmaWxlKHMpClVSTCAgICA6IGh0dHBzOi8vc3JjLmZlZG9yYXByb2plY3Qu
b3JnL3JwbXMvQWdkYS1zdGRsaWIvYy9hNzRmMTFkOTA0ZTY0YzY3MjMwNGI5MGNhNDdmMWY4OTNl
YjdmOGRiP2JyYW5jaD1yYXdoaWRlCgpMb2c6ClJlYnVpbHQgZm9yIGh0dHBzOi8vZmVkb3JhcHJv
amVjdC5vcmcvd2lraS9GZWRvcmFfNDVfTWFzc19SZWJ1aWxkCg==