Bug 2308803

Summary:	Review Request: ghc-copilot-prettyprinter - A prettyprinter of Copilot Specifications
Product:	[Fedora] Fedora	Reporter:	Frank Dedden <frank>
Component:	Package Review	Assignee:	Jens Petersen <petersen>
Status:	CLOSED NEXTRELEASE	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	rawhide	CC:	haskell-devel, package-review
Target Milestone:	---	Flags:	petersen: fedora-review+
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
URL:	https://hackage.haskell.org/package/copilot-prettyprinter
Whiteboard:
Fixed In Version:		Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2024-09-02 11:07:16 UTC	Type:	---
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:

Description Frank Dedden 2024-08-31 11:04:26 UTC

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

Comment 1 Frank Dedden 2024-08-31 11:04:29 UTC

This package built on koji:  https://koji.fedoraproject.org/koji/taskinfo?taskID=122732589

Comment 2 Fedora Review Service 2024-08-31 11:06:23 UTC

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.

Comment 3 Jens Petersen 2024-09-02 05:47:14 UTC

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

Comment 4 Fedora Admin user for bugzilla script actions 2024-09-02 09:37:24 UTC

The Pagure repository was created at https://src.fedoraproject.org/rpms/ghc-copilot-prettyprinter