Default Build Source
-
- Source Type:
- Build from PyPI
- PyPI package name
- z3-solver
- Spec generator
- pyp2spec
| Build ID |
Package Version |
Submitted |
Build Time |
Status |
|
3038420
|
4.8.13.0-1.fc34
|
3 years ago |
a minute |
failed
|
|
4648708
|
4.9.1.0-1.fc35
|
2 years ago |
5 minutes |
failed
|
|
5231848
|
4.12.0.0-1
|
2 years ago |
9 minutes |
failed
|
|
5243038
|
4.12.1.0-1
|
2 years ago |
6 minutes |
failed
|
|
5914757
|
4.12.2.0-1
|
1 year, 9 months ago |
5 minutes |
failed
|
|
8076477
|
-
|
4 months ago |
4 seconds |
failed
|
|
8086271
|
-
|
4 months ago |
3 seconds |
failed
|
|
8128181
|
-
|
4 months ago |
3 seconds |
failed
|
|
8398523
|
4.13.4.0-1
|
2 months ago |
3 minutes |
failed
|
|
8670157
|
4.14.0.0-1
|
5 days ago |
2 minutes |
failed
|
Status Badge
- HTML Code:
-
- Markdown Code:
-