python-pysmt

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

Tracked by Koschei
True
Current priority
425
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False

Configure scheduling

Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel

Dependency changes since last build

ncurses-libs
6.5-5.20250125.fc42
6.5-6.20250614.fc43
3
ncurses-base
6.5-5.20250125.fc42
6.5-6.20250614.fc43
4
tree-sitter-srpm-macros
0.4.0-1.fc43
0.4.1-1.fc43
B
publicsuffix-list-dafsa
20250116-1.fc42
20250616-1.fc43
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
133926774
2025-06-14 00:09:05
ppc64le
└133927125 ( build.log | root.log )
python3-setuptools
78.1.1-6.fc43~bootstrap
78.1.1-7.fc43
1
python3-six
1.17.0-3.fc43
1.17.0-4.fc43
1
libffi
3.4.8-1.fc43
3.5.1-1.fc43
3
openssl-libs
1:3.5.0-3.fc43
1:3.5.0-5.fc43
3
libuuid
2.41-3.fc43
2.40.4-8.fc43
3
python3-packaging
25.0-2.fc43~bootstrap
25.0-3.fc43
3
file
5.46-3.fc43
5.46-5.fc43
4
curl
8.14.0-1.fc43
8.14.1-1.fc43
4
crypto-policies
20250602-1.git9a48d06....
20250603-1.git3a584b3....
4
gdb-minimal
16.3-2.fc43
16.3-3.fc43
4
libselinux
3.8-2.fc43
3.8-3.fc43
4
libarchive
3.7.7-4.fc43
3.8.1-1.fc43
4
krb5-libs
1.21.3-5.fc42
1.21.3-6.fc43
B
libblkid
2.41-3.fc43
2.40.4-8.fc43
B
libsmartcols
2.41-3.fc43
2.40.4-8.fc43
B
tree-sitter-srpm-macros
0.2.4-1.fc43
0.4.0-1.fc43
B
lua-libs
5.4.7-3.fc43
5.4.8-1.fc43
B
audit-libs
4.0.4-3.fc43
4.0.5-1.fc43
B
util-linux-core
2.41-3.fc43
2.40.4-8.fc43
B
dwz
0.15-9.fc42
0.16-1.fc43
B
java-srpm-macros
1-3.fc43
1-4.fc43
B
file-libs
5.46-3.fc43
5.46-5.fc43
B
libsemanage
3.8-2.fc43
3.8.1-3.fc43
B
liblastlog2
2.41-3.fc43
libmount
2.41-3.fc43
2.40.4-8.fc43
B
openldap
2.6.9-5.fc43
2.6.10-1.fc43
B
util-linux
2.41-3.fc43
2.40.4-8.fc43
B
libfdisk
2.41-3.fc43
2.40.4-8.fc43
B
qt6-srpm-macros
6.9.0-2.fc43
6.9.1-1.fc43
B
libeconf
0.7.6-1.fc43
0.7.9-1.fc43
B
libcurl
8.14.0-1.fc43
8.14.1-1.fc43
B
Real build: python-pysmt-0.9.5-10.fc43
complete
133469561
2025-06-02 19:23:57
aarch64
└133469762 ( build.log | root.log )
python3-six
1.17.0-2.fc42
1.17.0-3.fc43
1
python3-devel
3.13.3-3.fc43
3.14.0~b2-3.fc43
1
python3-setuptools
78.1.1-1.fc43
78.1.1-6.fc43~bootstrap
1
python-rpm-macros
3.13-5.fc43
3.14-1.fc43
2
python3
3.13.3-3.fc43
3.14.0~b2-3.fc43
2
python3-libs
3.13.3-3.fc43
3.14.0~b2-3.fc43
2
python3-rpm-macros
3.13-5.fc43
3.14-1.fc43
2
python-srpm-macros
3.13-5.fc43
3.14-1.fc43
3
python3-packaging
25.0-1.fc43
25.0-2.fc43~bootstrap
3
libuuid
2.40.4-7.fc43
2.41-3.fc43
3
rpm
5.99.90-5.fc43
5.99.90-6.fc43
3
python-pip-wheel
25.1.1-3.fc43
25.1.1-4.fc43
3
sqlite-libs
3.49.2-1.fc43
3.50.0-1.fc43
3
rpm-build
5.99.90-5.fc43
5.99.90-6.fc43
3
crypto-policies
20250402-2.git86c0178....
20250602-1.git9a48d06....
4
rpm-build-libs
5.99.90-5.fc43
5.99.90-6.fc43
4
file
5.46-1.fc42
5.46-3.fc43
4
gdb-minimal
16.3-1.fc43
16.3-2.fc43
4
rpm-libs
5.99.90-5.fc43
5.99.90-6.fc43
4
libsmartcols
2.40.4-7.fc43
2.41-3.fc43
B
libfdisk
2.40.4-7.fc43
2.41-3.fc43
B
libblkid
2.40.4-7.fc43
2.41-3.fc43
B
libmount
2.40.4-7.fc43
2.41-3.fc43
B
file-libs
5.46-1.fc42
5.46-3.fc43
B
rpm-sign-libs
5.99.90-5.fc43
5.99.90-6.fc43
B
libcap-ng
0.8.5-4.fc42
0.8.5-5.fc43
B
liblastlog2
2.41-3.fc43
B
util-linux-core
2.40.4-7.fc43
2.41-3.fc43
B
libsemanage
3.8-1.fc42
3.8-2.fc43
B
util-linux
2.40.4-7.fc43
2.41-3.fc43
B
audit-libs
4.0.4-2.fc43
4.0.4-3.fc43
B
libb2
0.98.1-13.fc42
libxml2
2.12.10-1.fc43
2.12.10-2.fc43
B
libbrotli
1.1.0-6.fc42
1.1.0-7.fc43
B
complete
133437739
2025-06-01 21:54:43
s390x
└133437809 ( build.log | root.log )
sqlite-libs
3.49.1-1.fc43
3.49.2-1.fc43
3
glibc
2.41.9000-13.fc43
2.41.9000-15.fc43
3
libselinux
3.8-1.fc42
3.8-2.fc43
4
libstdc++
15.1.1-1.fc43
15.1.1-2.fc43
4
glibc-gconv-extra
2.41.9000-13.fc43
2.41.9000-15.fc43
4
glibc-minimal-langpack
2.41.9000-13.fc43
2.41.9000-15.fc43
4
coreutils
9.7-1.fc43
9.7-3.fc43
4
glibc-common
2.41.9000-13.fc43
2.41.9000-15.fc43
4
libgcc
15.1.1-1.fc43
15.1.1-2.fc43
4
curl
8.14.0~rc1-1.fc43
8.14.0-1.fc43
4
libgomp
15.1.1-1.fc43
15.1.1-2.fc43
4
redhat-rpm-config
343-5.fc43
343-6.fc43
4
audit-libs
4.0.3-2.fc42
4.0.4-2.fc43
B
p11-kit
0.25.5-5.fc42
0.25.5-8.fc43
B
fonts-srpm-macros
1:2.0.5-21.fc42
1:2.0.5-22.fc43
B
libcurl
8.14.0~rc1-1.fc43
8.14.0-1.fc43
B
fedora-release-common
43-0.15
43-0.16
B
systemd-standalone-sysusers
257.5-5.fc43
257.6-1.fc43
B
qt5-srpm-macros
5.15.16-1.fc43
5.15.17-1.fc43
B
fedora-release
43-0.15
43-0.16
B
java-srpm-macros
1-3.fc43
B
gnupg2-dirmngr
2.4.8-2.fc43
B
gnupg2-verify
2.4.8-2.fc43
B
gnupg2-gpgconf
2.4.8-2.fc43
B
gnupg2-gpg-agent
2.4.8-2.fc43
B
gnupg2-keyboxd
2.4.8-2.fc43
B
gnupg2
2.4.7-3.fc43
2.4.8-2.fc43
B
fedora-release-identity-basic
43-0.15
43-0.16
B
p11-kit-trust
0.25.5-5.fc42
0.25.5-8.fc43
B
coreutils-common
9.7-1.fc43
9.7-3.fc43
B
systemd-libs
257.5-5.fc43
257.6-1.fc43
B
complete
132779611
2025-05-15 15:42:56
ppc64le
└132779722 ( build.log | root.log )
python3-devel
3.13.3-2.fc43
3.13.3-3.fc43
1
python3-libs
3.13.3-2.fc43
3.13.3-3.fc43
2
python3
3.13.3-2.fc43
3.13.3-3.fc43
2
libffi
3.4.7-4.fc43
3.4.8-1.fc43
3
python-pip-wheel
25.1.1-1.fc43
25.1.1-3.fc43
3
mpdecimal
4.0.0-2.fc43
4.0.1-1.fc43
3
rpm-build
5.99.90-4.fc43
5.99.90-5.fc43
3
filesystem
3.18-41.fc43
3.18-44.fc43
3
rpm
5.99.90-4.fc43
5.99.90-5.fc43
3
glibc
2.41.9000-12.fc43
2.41.9000-13.fc43
3
redhat-rpm-config
343-4.fc43
343-5.fc43
4
elfutils
0.192-8.fc42
0.193-2.fc43
4
glibc-gconv-extra
2.41.9000-12.fc43
2.41.9000-13.fc43
4
glibc-minimal-langpack
2.41.9000-12.fc43
2.41.9000-13.fc43
4
rpm-build-libs
5.99.90-4.fc43
5.99.90-5.fc43
4
glibc-common
2.41.9000-12.fc43
2.41.9000-13.fc43
4
setup
2.15.0-23.fc43
2.15.0-25.fc43
4
rpm-libs
5.99.90-4.fc43
5.99.90-5.fc43
4
elfutils-libelf
0.192-8.fc42
0.193-2.fc43
4
elfutils-libs
0.192-8.fc42
0.193-2.fc43
B
alternatives
1.32-1.fc43
1.33-1.fc43
B
elfutils-default-yama-scope
0.192-8.fc42
0.193-2.fc43
B
filesystem-srpm-macros
3.18-41.fc43
3.18-44.fc43
B
libgcrypt
1.11.0-5.fc42
1.11.1-1.fc43
B
systemd-standalone-sysusers
257.5-2.fc43
257.5-5.fc43
B
systemd-libs
257.5-2.fc43
257.5-5.fc43
B
rpm-sign-libs
5.99.90-4.fc43
5.99.90-5.fc43
B
elfutils-debuginfod-client
0.192-8.fc42
0.193-2.fc43
B
gpgverify
2.1-3.fc43
B
complete
132408470
2025-05-07 02:01:42
x86_64
└132408528 ( build.log | root.log )
python3-setuptools
78.1.0-1.fc43
78.1.1-1.fc43
1
rpm-build
5.99.90-3.fc43
5.99.90-4.fc43
3
python-pip-wheel
25.0.1-3.fc43
25.1.1-1.fc43
3
python3-packaging
24.2-3.fc42
25.0-1.fc43
3
sqlite-libs
3.49.0-1.fc43
3.49.1-1.fc43
3
filesystem
3.18-40.fc43
3.18-41.fc43
3
glibc
2.41.9000-10.fc43
2.41.9000-12.fc43
3
rpm
5.99.90-3.fc43
5.99.90-4.fc43
3
diffutils
3.12-1.fc43
3.12-2.fc43
4
rpm-libs
5.99.90-3.fc43
5.99.90-4.fc43
4
glibc-gconv-extra
2.41.9000-10.fc43
2.41.9000-12.fc43
4
rpm-build-libs
5.99.90-3.fc43
5.99.90-4.fc43
4
libgomp
15.0.1-0.14.fc43
15.1.1-1.fc43
4
libstdc++
15.0.1-0.14.fc43
15.1.1-1.fc43
4
glibc-common
2.41.9000-10.fc43
2.41.9000-12.fc43
4
curl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
4
libgcc
15.0.1-0.14.fc43
15.1.1-1.fc43
4
gdb-minimal
16.2-3.fc43
16.3-1.fc43
4
glibc-minimal-langpack
2.41.9000-10.fc43
2.41.9000-12.fc43
4
fedora-gpg-keys
43-0.1
43-0.2
B
fedora-repos
43-0.1
43-0.2
B
libgpg-error
1.54-1.fc43
1.55-1.fc43
B
filesystem-srpm-macros
3.18-40.fc43
3.18-41.fc43
B
libcurl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
B
fedora-repos-rawhide
43-0.1
43-0.2
B
rpm-sign-libs
5.99.90-3.fc43
5.99.90-4.fc43
B
complete
131930043
2025-04-24 09:59:36
aarch64
└131930126 ( build.log | root.log )
python3-devel
3.13.3-1.fc43
3.13.3-2.fc43
1
python3-libs
3.13.3-1.fc43
3.13.3-2.fc43
2
python3
3.13.3-1.fc43
3.13.3-2.fc43
2
openssl-libs
1:3.5.0-2.fc43
1:3.5.0-3.fc43
3
rpm-build
4.20.1-3.fc43
5.99.90-3.fc43
3
filesystem
3.18-39.fc43
3.18-40.fc43
3
rpm
4.20.1-3.fc43
5.99.90-3.fc43
3
glibc
2.41.9000-9.fc43
2.41.9000-10.fc43
3
glibc-gconv-extra
2.41.9000-9.fc43
2.41.9000-10.fc43
4
redhat-rpm-config
343-3.fc43
343-4.fc43
4
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
4
libstdc++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
rpm-build-libs
4.20.1-3.fc43
5.99.90-3.fc43
4
libgcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
grep
3.11-10.fc42
3.12-1.fc43
4
rpm-libs
4.20.1-3.fc43
5.99.90-3.fc43
4
glibc-common
2.41.9000-9.fc43
2.41.9000-10.fc43
4
glibc-minimal-langpack
2.41.9000-9.fc43
2.41.9000-10.fc43
4
libgomp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
filesystem-srpm-macros
3.18-39.fc43
3.18-40.fc43
B
fedora-release-identity-basic
43-0.13
43-0.15
B
fedora-release-common
43-0.13
43-0.15
B
libcap
2.73-2.fc42
2.76-1.fc43
B
tree-sitter-srpm-macros
0.2.1-1.fc43
0.2.4-1.fc43
B
fedora-release
43-0.13
43-0.15
B
qt6-srpm-macros
6.9.0-1.fc43
6.9.0-2.fc43
B
libksba
1.6.7-3.fc42
B
nettle
3.10.1-1.fc43
B
libfsverity
1.6-2.fc42
B
libgcrypt
1.11.0-5.fc42
B
gnutls
3.8.9-5.fc43
B
rpm-sign-libs
5.99.90-3.fc43
B
libusb1
1.0.28-2.fc43
B
gnupg2
2.4.7-3.fc43
B
libassuan
2.5.7-3.fc42
B
libgpg-error
1.54-1.fc43
B
ima-evm-utils-libs
1.6.2-5.fc43
B
tpm2-tss
4.1.3-7.fc43
B
npth
1.8-2.fc42
B
complete
131514372
2025-04-14 07:17:56
s390x
└131514526 ( build.log | root.log )
python3-devel
3.13.2-2.fc43
3.13.3-1.fc43
1
python3-setuptools
76.1.0-1.fc43
78.1.0-1.fc43
1
python3
3.13.2-2.fc43
3.13.3-1.fc43
2
python3-libs
3.13.2-2.fc43
3.13.3-1.fc43
2
glibc
2.41.9000-8.fc43
2.41.9000-9.fc43
3
libgcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
libgomp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
glibc-minimal-langpack
2.41.9000-8.fc43
2.41.9000-9.fc43
4
glibc-gconv-extra
2.41.9000-8.fc43
2.41.9000-9.fc43
4
glibc-common
2.41.9000-8.fc43
2.41.9000-9.fc43
4
diffutils
3.11-3.fc43
3.12-1.fc43
4
coreutils
9.6-2.fc43
9.7-1.fc43
4
debugedit
5.1-5.fc43
5.1-6.fc43
4
fedora-release-common
43-0.10
43-0.13
B
fedora-release
43-0.10
43-0.13
B
coreutils-common
9.6-2.fc43
9.7-1.fc43
B
libstdc++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
B
fedora-release-identity-basic
43-0.10
43-0.13
B
tree-sitter-srpm-macros
0.2.0-1.fc43
0.2.1-1.fc43
B
systemd-standalone-sysusers
257.4-3.fc43
257.5-2.fc43
B
systemd-libs
257.4-3.fc43
257.5-2.fc43
B
complete
131186312
2025-04-06 14:05:33
aarch64
└131186402 ( build.log | root.log )
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
3
libffi
3.4.7-2.fc43
3.4.7-4.fc43
3
rpm
4.20.1-1.fc43
4.20.1-3.fc43
3
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
3
expat
2.7.0-1.fc43
2.7.1-1.fc43
3
glibc
2.41.9000-6.fc43
2.41.9000-8.fc43
3
filesystem
3.18-38.fc43
3.18-39.fc43
3
glibc-minimal-langpack
2.41.9000-6.fc43
2.41.9000-8.fc43
4
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
4
glibc-gconv-extra
2.41.9000-6.fc43
2.41.9000-8.fc43
4
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
4
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
redhat-rpm-config
342-2.fc42
343-3.fc43
4
libgomp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
glibc-common
2.41.9000-6.fc43
2.41.9000-8.fc43
4
rpm-libs
4.20.1-1.fc43
4.20.1-3.fc43
4
libgcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
patch
2.7.6-26.fc42
2.8-1.fc43
4
gawk
5.3.1-1.fc42
5.3.2-1.fc43
4
rpm-build-libs
4.20.1-1.fc43
4.20.1-3.fc43
4
fedora-release-identity-basic
43-0.8
43-0.10
B
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
B
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
B
fedora-release
43-0.8
43-0.10
B
rpm-sequoia
1.7.0-5.fc43
1.8.0-1.fc43
B
libstdc++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
B
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
B
fedora-release-common
43-0.8
43-0.10
B
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
B
Previous history
Koschei version ebf3b02
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues