Project Packages
| Name | Last Build Version | Last Build Submitted | Last Build Status | Automatic Build | Actions |
|---|---|---|---|---|---|
| coq | 8.6.1-1 | 6 years ago | failed | Disabled | - |
| csdp | 6.1.1-11.el7 | 7 years ago | succeeded | Disabled | - |
| emacs-common-proofgeneral | 4.2-5.el7 | 7 years ago | succeeded | Disabled | - |
| emacs-mmm | 0.4.8-10.el7 | 7 years ago | succeeded | Disabled | - |
| hevea | 2.28-2.el7 | 7 years ago | succeeded | Disabled | - |
Possible build states
importing - Package sources are being imported into Copr DistGit.pending - Build is waiting in queue for a backend worker.
starting - Backend worker is trying to acquire a builder machine.
running - Build in progress.
succeeded - Successfully built.
forked - Build has been forked from another build.
skipped - This package was skipped, see the reason for each chroot separately.
failed - Build failed. See logs for more details.
canceled - The build has been cancelled manually.
waiting - Task is waiting for something else to finish.