Spec URL: https://fdedden.fedorapeople.org/ghc-copilot-c99.spec SRPM URL: https://fdedden.fedorapeople.org/ghc-copilot-c99-3.19.1-1.fc41.src.rpm Description: This package is a back-end from Copilot to C. 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=122733163
Copr build: https://copr.fedorainfracloud.org/coprs/build/7958345 (failed) Build log: https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2308804-ghc-copilot-c99/fedora-rawhide-x86_64/07958345-ghc-copilot-c99/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.
Looks fine to me - pristine spec file generated by cabal-rpm - license is BSD3 - builds and installs - complies with Packaging Guidelines Package is APPROVED
The Pagure repository was created at https://src.fedoraproject.org/rpms/ghc-copilot-c99