Default Build Source
-
- Source Type:
- Build from an SCM repository
- SCM type:
- git
- Clone URL:
- git://pkgs.fedoraproject.org/rpms/coq.git
- Committish:
- master
- Path to .spec file:
- coq.spec
- Build SRPM with:
- rpkg
| Build ID |
Package Version |
Submitted |
Build Time |
Status |
|
323372
|
8.5pl1-1.el7.centos
|
7 years ago |
a minute |
failed
|
|
323396
|
8.5pl1-1.el7
|
7 years ago |
a minute |
failed
|
|
323402
|
8.5pl1-1.el7
|
7 years ago |
21 minutes |
succeeded
|
|
592090
|
8.6.1-1
|
6 years ago |
a minute |
failed
|
|
592308
|
8.6.1-1
|
6 years ago |
18 minutes |
failed
|
Status Badge
- HTML Code:
-
- Markdown Code:
-