Default Build Source
-
- Source Type:
- Build from PyPI
- PyPI package name
- isabelle-client
- Spec generator
- pyp2spec
Build ID |
Package Version |
Submitted |
Build Time |
Status |
3097477
|
0.3.0-1.fc34
|
2 years ago |
2 minutes |
failed
|
5343317
|
0.3.13-1
|
1 year, 4 months ago |
11 minutes |
succeeded
|
5569669
|
0.3.14-1
|
1 year, 3 months ago |
13 minutes |
succeeded
|
5727113
|
0.3.15-1
|
1 year, 2 months ago |
12 minutes |
succeeded
|
5860630
|
0.3.16-1
|
1 year, 1 month ago |
11 minutes |
succeeded
|
5975250
|
0.3.17-1
|
1 year, 5 days ago |
9 minutes |
succeeded
|
6125281
|
0.4.0-1
|
11 months ago |
6 minutes |
succeeded
|
6221871
|
0.4.1-1
|
10 months ago |
6 minutes |
failed
|
6349596
|
0.4.2-1
|
9 months ago |
9 minutes |
failed
|
6447919
|
0.4.3-1
|
8 months ago |
7 minutes |
failed
|
6695550
|
0.4.5-1
|
6 months ago |
6 minutes |
succeeded
|
7250009
|
0.4.9-1
|
a month ago |
6 minutes |
succeeded
|
Status Badge
- HTML Code:
-
- Markdown Code:
-