thrnciar/python-packaging

Project ID: 78638

Package: yices

General Information

Default Build Source

Source Type:
Build from DistGit
Distgit:
fedora
Committish:
rawhide
Clone_Url:
https://src.fedoraproject.org/rpms/yices.git
Build ID Package Version Submitted Build Time Status
5277141 2.6.4-5 1 year, 11 months ago 13 minutes succeeded

Status Badge

HTML Code:
Markdown Code: