Warning! Fedora moves to a new datacenter, which may result in some instabilities in Copr. The expected outage is expected to happen from 30th June to 1st July. For more information please refer to this ticket.

jjames/OCaml

Project ID: 184188

Package: ocaml-psmt2-frontend

General Information

Dist Git Repo:: jjames/OCaml/ocaml-psmt2-frontend

Default Build Source

Source Type:: No default source

Build ID	Package Version	Submitted	Build Time	Status
9222389	0.4.0-23	5 hours ago	47 seconds	succeeded

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/jjames/OCaml/package/ocaml-psmt2-frontend/"><img src="https://copr.fedorainfracloud.org/coprs/jjames/OCaml/package/ocaml-psmt2-frontend/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/jjames/OCaml/package/ocaml-psmt2-frontend/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/jjames/OCaml/package/ocaml-psmt2-frontend/)