mgrabovs/lean3-community

Project ID: 27903

Package: lean3-community

General Information

Dist Git Repo:: mgrabovs/lean3-community/lean3-community

Default Build Source

Source Type:: No default source

Build ID	Package Version	Submitted	Build Time	Status
1424585	3.15.0c-2.fc32	3 years ago	32 minutes	succeeded
1636862	3.19.0-1.fc32	3 years ago	8 minutes	failed
6240820	3.19.0-1.fc32	8 months ago	5 minutes	failed

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/mgrabovs/lean3-community/package/lean3-community/"><img src="https://copr.fedorainfracloud.org/coprs/mgrabovs/lean3-community/package/lean3-community/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/mgrabovs/lean3-community/package/lean3-community/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/mgrabovs/lean3-community/package/lean3-community/)