summaryrefslogtreecommitdiff
path: root/community/z3
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2022-01-11 18:28:53 +0100
committerAndreas Baumann <mail@andreasbaumann.cc>2022-01-11 18:28:53 +0100
commit3adf857085c15b8b7c5ac9af9b2820637b483eea (patch)
tree70747d64296e5194bd05121ce656326b6ec9358c /community/z3
parent8ed2604ae7adc075c3c73058c472e0c1b86b6842 (diff)
downloadpackages-3adf857085c15b8b7c5ac9af9b2820637b483eea.tar.xz
extra/python-setuptools: reenabled testing
Diffstat (limited to 'community/z3')
0 files changed, 0 insertions, 0 deletions