odubaj/autoconf-2.70

Project ID: 37690

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
1845492 2.6.2-6.fc33 2 years ago 3 minutes failed
1914431 2.6.2-7.fc33 2 years ago 17 minutes succeeded
1920887 2.6.2-7.fc33 2 years ago 17 minutes succeeded
2013257 2.6.2-7 1 year, 11 months ago 17 minutes succeeded
2022305 2.6.2-7 1 year, 11 months ago 20 minutes succeeded
2096485 2.6.2-7 1 year, 10 months ago 16 minutes succeeded
2309590 2.6.2-7.fc34 1 year, 6 months ago 9 minutes succeeded
2328617 2.6.2-7.fc34 1 year, 6 months ago 17 minutes succeeded
2347452 2.6.2-8.fc34 1 year, 6 months ago 17 minutes succeeded
2906909 2.6.4-1.fc34 1 year, 3 months ago 11 minutes succeeded
3144935 2.6.4-2.fc34 1 year, 17 days ago 11 minutes succeeded

Status Badge

HTML Code:
Markdown Code: