fberat/automake-1.17
Project ID: 141803
Package: yices
General Information
- Dist Git Repo:
- fberat/automake-1.17/yices
- Source Type:
- Build from DistGit
- Committish:
- d056a9c7a9c2503bc6e0162eebf1922f0cd68e72
- Clone_Url:
- https://src.fedoraproject.org/rpms/yices.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
7925142 | 2.6.5-4 | 2 months ago | 5 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: