Spec URL: https://fdedden.fedorapeople.org/ghc-copilot-libraries.spec SRPM URL: https://fdedden.fedorapeople.org/ghc-copilot-libraries-3.19.1-1.fc42.src.rpm Description: Libraries for the Copilot language. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at <https://copilot-language.github.io>. Fedora Account System Username: fdedden
This package built on koji: https://koji.fedoraproject.org/koji/taskinfo?taskID=122893983
Copr build: https://copr.fedorainfracloud.org/coprs/build/7974744 (failed) Build log: https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2309482-ghc-copilot-libraries/fedora-rawhide-x86_64/07974744-ghc-copilot-libraries/builder-live.log.gz Please make sure the package builds successfully at least for Fedora Rawhide. - If the build failed for unrelated reasons (e.g. temporary network unavailability), please ignore it. - If the build failed because of missing BuildRequires, please make sure they are listed in the "Depends On" field --- This comment was created by the fedora-review-service https://github.com/FrostyX/fedora-review-service If you want to trigger a new Copr build, add a comment containing new Spec and SRPM URLs or [fedora-review-service-build] string.
The Copr build fails because it couldn't find the `copilot-language` dependency yet. That package has already been added and therefore it should be fine.
Looks good - pristine spec file generated by cabal-rpm-2.2.1 - license is BSD3 - builds and installs - package complies with Haskell Packaging Policy Package is APPROVED
The Pagure repository was created at https://src.fedoraproject.org/rpms/ghc-copilot-libraries