odubaj/autoconf-2.69

Project ID: 41380

Package: ocaml-psmt2-frontend

General Information

Dist Git Repo:: odubaj/autoconf-2.69/ocaml-psmt2-frontend

Default Build Source

Source Type:: Build from an SCM repository
SCM type:: git
Clone URL:: https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend.git
Committish:: rawhide
Build SRPM with:: rpkg

Build ID	Package Version	Submitted	Build Time	Status
2097705	0.1-8.fc33	3 years ago	a minute	succeeded
2107787	0.1-9.fc33	3 years ago	2 minutes	succeeded
2334060	0.1-9.fc34	2 years ago	2 minutes	succeeded
2341339	0.1-10.fc34	2 years ago	a minute	succeeded
2874819	0.1-11.fc34	2 years ago	3 minutes	succeeded
3106280	0.4.0-1.fc34	2 years ago	3 minutes	failed
3210201	0.4.0-2.fc34	2 years ago	4 minutes	failed

Status Badge

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

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