mywaaagh_admin/pypi

Project ID: 6

Package: python-agda-pkg

General Information

Dist Git Repo:: mywaaagh_admin/pypi/python-agda-pkg

Default Build Source

Source Type:: Build from PyPI
PyPI package name: agda-pkg
Spec generator: pyporter

Build ID	Package Version	Submitted	Build Time	Status
23491	-	2 years ago	27 seconds	failed
48858	0.1.51-1	2 years ago	3 hours	failed

Status Badge

HTML Code:: <a href="https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-agda-pkg/"><img src="https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-agda-pkg/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-agda-pkg/status_image/last_build.png)](https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-agda-pkg/)