Spec URL: https://fdedden.fedorapeople.org/ghc-copilot-prettyprinter.spec SRPM URL: https://fdedden.fedorapeople.org/ghc-copilot-prettyprinter-3.19.1-1.fc41.src.rpm Description: A prettyprinter of Copilot specifications. 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=122732589
Copr build: https://copr.fedorainfracloud.org/coprs/build/7958341 (failed) Build log: https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2308803-ghc-copilot-prettyprinter/fedora-rawhide-x86_64/07958341-ghc-copilot-prettyprinter/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.
LGTM thanks - pristine spec file generated by cabal-rpm - License is BSD3 and package builds and installs - complies with Haskell Packaging Policy Package is APPROVED
The Pagure repository was created at https://src.fedoraproject.org/rpms/ghc-copilot-prettyprinter