thrnciar/python-pip-2ebe6bf4
Project ID: 120035
Package: Agda-stdlib
General Information
- Dist Git Repo:
- thrnciar/python-pip-2ebe6bf4/Agda-stdlib
- Source Type:
- Build from DistGit
- Clone_Url:
- https://src.fedoraproject.org/rpms/Agda-stdlib.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
7069232 | 1.7.3-5 | 8 months ago | 19 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: