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.

codeblock/coq-epel

Project ID: 7805

Package: coq

General Information

Dist Git Repo:: codeblock/coq-epel/coq

Default Build Source

Source Type:: Build from an SCM repository
SCM type:: git
Clone URL:: git://pkgs.fedoraproject.org/rpms/coq.git
Committish:: master
Path to .spec file:: coq.spec
Build SRPM with:: rpkg

Build ID	Package Version	Submitted	Build Time	Status
323372	8.5pl1-1.el7.centos	9 years ago	a minute	failed
323396	8.5pl1-1.el7	9 years ago	a minute	failed
323402	8.5pl1-1.el7	9 years ago	21 minutes	succeeded
592090	8.6.1-1	7 years ago	a minute	failed
592308	8.6.1-1	7 years ago	18 minutes	failed

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/codeblock/coq-epel/package/coq/"><img src="https://copr.fedorainfracloud.org/coprs/codeblock/coq-epel/package/coq/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/codeblock/coq-epel/package/coq/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/codeblock/coq-epel/package/coq/)