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 4th July. For more information please refer to this ticket.

@copr/PyPI

Project ID: 52707

Package: python-imandra

General Information

Dist Git Repo:: @copr/PyPI/python-imandra
Webhook rebuild:: Yes

Default Build Source

Source Type:: Build from PyPI
PyPI package name: imandra
Spec generator: pyp2spec

Build ID	Package Version	Submitted	Build Time	Status
3274477	-	3 years ago	a minute	failed
6227178	-	1 year, 11 months ago	7 seconds	failed
6275550	-	1 year, 10 months ago	3 seconds	failed
6349758	-	1 year, 10 months ago	3 seconds	failed
6353341	-	1 year, 10 months ago	3 seconds	failed
6363060	-	1 year, 10 months ago	7 seconds	failed
8820078	2.0.1-1	3 months ago	4 minutes	failed
9103933	2.0.2-1	a month ago	2 minutes	failed
9160307	2.0.3-1	19 days ago	2 minutes	failed
9204453	2.0.4-1	8 days ago	a minute	failed
9222489	2.0.5-1	5 days ago	5 minutes	failed
9227476	2.0.6-1	2 days ago	3 minutes	failed

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/g/copr/PyPI/package/python-imandra/"><img src="https://copr.fedorainfracloud.org/coprs/g/copr/PyPI/package/python-imandra/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/g/copr/PyPI/package/python-imandra/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/g/copr/PyPI/package/python-imandra/)