Spec URL: https://fdedden.fedorapeople.org/ghc-copilot-core.spec SRPM URL: https://fdedden.fedorapeople.org/ghc-copilot-core-3.19.1-1.fc41.src.rpm Description: Intermediate representation 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=122318054
Copr build: https://copr.fedorainfracloud.org/coprs/build/7935788 (succeeded) Review template: https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2307341-ghc-copilot-core/fedora-rawhide-x86_64/07935788-ghc-copilot-core/fedora-review/review.txt Found issues: - No gcc, gcc-c++ or clang found in BuildRequires Read more: https://docs.fedoraproject.org/en-US/packaging-guidelines/C_and_C++/ Please know that there can be false-positives. --- 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.
LGTM thanks - Pristine spec file generated by current cabal-rpm - License is BSD3, and builds and installs - Complies with Haskell Packaging Policy Package is APPROVED
The Pagure repository was created at https://src.fedoraproject.org/rpms/ghc-copilot-core