odubaj/compat-autoconf269

Project ID: 40254

Package: yices

General Information

Default Build Source

Source Type:
Build from an SCM repository
SCM type:
git
Clone URL:
https://src.fedoraproject.org/rpms/yices.git
Committish:
rawhide
Build SRPM with:
rpkg
Build ID Package Version Submitted Build Time Status
2347453 2.6.2-8.fc34 2 years ago 9 minutes succeeded
2906910 2.6.4-1.fc34 2 years ago 13 minutes failed
3144936 2.6.4-2.fc34 2 years ago 13 minutes failed

Status Badge

HTML Code:
Markdown Code: