thrnciar/python-sphinx

Project ID: 158342

Package: why3

General Information

Dist Git Repo:
thrnciar/python-sphinx/why3
Webhook rebuild:
Yes

Default Build Source

Source Type:
Build from DistGit
Distgit:
fedora
Committish:
rawhide
Clone_Url:
https://src.fedoraproject.org/rpms/why3.git
Build ID Package Version Submitted Build Time Status
8494339 1.7.2-10 9 days ago 8 minutes succeeded
8499514 1.8.0-1 8 days ago 10 minutes succeeded

Status Badge

HTML Code:
Markdown Code: