adundovi/potassco

( forked from cottsay/gringo )

Project ID: 18107

Project Packages

Name Last Build Version Last Build Submitted Last Build Status Automatic Build Actions
aspcud 1.9.0 10 years ago forked Disabled -
clasp 3.1.0-1.fc20 9 years ago forked Disabled -
clingo 4.4.0 10 years ago forked Disabled -
gringo 4.4.0 10 years ago forked 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.