codeblock/coq-epel

Project ID: 7805

Project Builds

Build ID Package Name Package Version Submitted Build Time Status
323396 coq 8.5pl1-1.el7 7 years ago a minute failed
323399 hevea 2.28-2.el7 7 years ago 2 minutes succeeded
323392 csdp 6.1.1-11.el7 7 years ago a minute failed
323394 emacs-common-proofgeneral 4.2-5.el7 7 years ago 2 minutes failed
323395 emacs-mmm 0.4.8-10.el7 7 years ago a minute succeeded
323400 emacs-common-proofgeneral 4.2-5.el7 7 years ago 2 minutes succeeded
323393 hevea 2.28-2.el7 7 years ago 2 minutes failed
323398 csdp 6.1.1-11.el7 7 years ago a minute succeeded
323402 coq 8.5pl1-1.el7 7 years ago 21 minutes succeeded
323377 - - 7 years ago - failed
323378 - - 7 years ago - failed
323372 coq 8.5pl1-1.el7.centos 7 years ago a minute failed
323376 csdp 6.1.1-11.el7.centos 7 years ago a minute failed
592090 coq 8.6.1-1 6 years ago a minute failed
592308 coq 8.6.1-1 6 years ago 18 minutes failed
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.