fberat/automake-1.17.90_1

Project ID: 170943

Package: yices

General Information

Default Build Source

Source Type:
Build from DistGit
Committish:
605ad4cf449a0345b411f839eef27b98f15613a8
Clone_Url:
https://src.fedoraproject.org/rpms/yices.git
Build ID Package Version Submitted Build Time Status
8818296 2.6.5-7 6 days ago 7 minutes succeeded

Status Badge

HTML Code:
Markdown Code: