Spec URL: https://fdedden.fedorapeople.org/ghc-copilot-interpreter.spec SRPM URL: https://fdedden.fedorapeople.org/ghc-copilot-interpreter-3.19.1-1.fc41.src.rpm Description: Interpreter for Copilot. 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=122734567
Copr build: https://copr.fedorainfracloud.org/coprs/build/7958359 (failed) Build log: https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2308805-ghc-copilot-interpreter/fedora-rawhide-x86_64/07958359-ghc-copilot-interpreter/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.
- pristine spec file generated with cabal-rpm-2.2.1 - license is BSD3 - compiles and installs - complies with Haskell Packaging Policy Package is APPROVED
[fedora-review-service-build]
Seems that retriggering the Copr build did not work. It failed because of a dependency that could not be found, that indeed exists. I'll just continue with building / releasing the package.
The Pagure repository was created at https://src.fedoraproject.org/rpms/ghc-copilot-interpreter