fberat/libtool-2.5.1_1

Project ID: 140136

Package: yices

General Information

Default Build Source

Source Type:
Build from DistGit
Committish:
d056a9c7a9c2503bc6e0162eebf1922f0cd68e72
Clone_Url:
https://src.fedoraproject.org/rpms/yices.git
Build ID Package Version Submitted Build Time Status
7880177 2.6.5-4 2 months ago 6 minutes succeeded

Status Badge

HTML Code:
Markdown Code: