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: Jerry James <loganjerry@gmail.com>
To: git-commits@fedoraproject.org
Subject: [rpms/yices] rawhide: Reduce the number of TeXLive packages used to build
Date: Wed, 15 Jul 2026 01:34:19 GMT
Message-ID: <178407925976.1.15117197126719724717.rpms-yices-577205dc10fe@fedoraproject.org>
List-ID: <git-commits.fedoraproject.org>
X-Git-Repo: rpms/yices
X-Git-Branch: rawhide
X-Git-Rev: 577205dc10feeda512102e7982ba05575d775c38

QSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KClJlcG8gICA6IHJwbXMveWljZXMKQnJhbmNo
IDogcmF3aGlkZQpDb21taXQgOiA1NzcyMDVkYzEwZmVlZGE1MTIxMDJlNzk4MmJhMDU1NzVkNzc1
YzM4CkF1dGhvciA6IEplcnJ5IEphbWVzIDxsb2dhbmplcnJ5QGdtYWlsLmNvbT4KRGF0ZSAgIDog
MjAyNi0wNy0xNFQxOTozNDowMi0wNjowMApTdGF0cyAgOiArMS8tMyBpbiAxIGZpbGUocykKVVJM
ICAgIDogaHR0cHM6Ly9zcmMuZmVkb3JhcHJvamVjdC5vcmcvcnBtcy95aWNlcy9jLzU3NzIwNWRj
MTBmZWVkYTUxMjEwMmU3OTgyYmEwNTU3NWQ3NzVjMzg/YnJhbmNoPXJhd2hpZGUKCkxvZzoKUmVk
dWNlIHRoZSBudW1iZXIgb2YgVGVYTGl2ZSBwYWNrYWdlcyB1c2VkIHRvIGJ1aWxkCgotLS0KZGlm
ZiAtLWdpdCBhL3lpY2VzLnNwZWMgYi95aWNlcy5zcGVjCmluZGV4IDMxOGJkZDQuLjdiOTkwYTcg
MTAwNjQ0Ci0tLSBhL3lpY2VzLnNwZWMKKysrIGIveWljZXMuc3BlYwpAQCAtMzksMTUgKzM5LDEz
IEBAIEJ1aWxkUmVxdWlyZXM6ICB0ZXgoY2l0ZS5zdHkpCiBCdWlsZFJlcXVpcmVzOiAgdGV4KGVw
c3RvcGRmLnN0eSkKIEJ1aWxkUmVxdWlyZXM6ICB0ZXgobGlzdGluZ3Muc3R5KQogQnVpbGRSZXF1
aXJlczogIHRleCh4Y29sb3Iuc3R5KQotQnVpbGRSZXF1aXJlczogIHRleChsYXRleCkKIEJ1aWxk
UmVxdWlyZXM6ICB0ZXhsaXZlLWJpYnRleAogQnVpbGRSZXF1aXJlczogIHRleGxpdmUtY20KIEJ1
aWxkUmVxdWlyZXM6ICB0ZXhsaXZlLWNvdXJpZXIKIEJ1aWxkUmVxdWlyZXM6ICB0ZXhsaXZlLWVj
CiBCdWlsZFJlcXVpcmVzOiAgdGV4bGl2ZS1oZWx2ZXRpYworQnVpbGRSZXF1aXJlczogIHRleGxp
dmUtbGF0ZXgKIEJ1aWxkUmVxdWlyZXM6ICB0ZXhsaXZlLW1ha2VpbmRleAotQnVpbGRSZXF1aXJl
czogIHRleGxpdmUtbWV0YWZvbnQKLUJ1aWxkUmVxdWlyZXM6ICB0ZXhsaXZlLW1md2FyZQogQnVp
bGRSZXF1aXJlczogIHRleGxpdmUtdGltZXMKIAogIyBTZWUgU291cmNlMSBjb21tZW50Cg==