codeblock/lean

Project ID: 7676

Package: lean

General Information

Dist Git Repo:: codeblock/lean/lean

Default Build Source

Source Type:: No default source

Build ID	Package Version	Submitted	Build Time	Status
317633	1-1.20160526git9fa30e3.fc22	7 years ago	15 minutes	succeeded
317649	1-2.20160526git9fa30e3.fc22	7 years ago	12 minutes	failed
317653	1-2.20160526git9fa30e3.fc22	7 years ago	17 minutes	failed
317659	1-2.20160526git9fa30e3.fc22	7 years ago	17 minutes	succeeded
374645	1-1.20160707git54844e2.fc22	7 years ago	17 minutes	succeeded

Status Badge

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

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