jjames/OCaml5.2

Project ID: 128254

Package: prooftree

General Information

Default Build Source

Source Type:
Build from DistGit
Clone_Url:
https://src.fedoraproject.org/forks/jjames/rpms/prooftree.git
Build ID Package Version Submitted Build Time Status
7420945 0.14-1 26 days ago 6 minutes succeeded

Status Badge

HTML Code:
Markdown Code: