codeblock/coq-epel

Project ID: 7805

Package: emacs-common-proofgeneral

General Information

Dist Git Repo:: codeblock/coq-epel/emacs-common-proofgeneral

Default Build Source

Source Type:: No default source

Build ID	Package Version	Submitted	Build Time	Status
323394	4.2-5.el7	7 years ago	2 minutes	failed
323400	4.2-5.el7	7 years ago	2 minutes	succeeded

Status Badge

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

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