Bug 2309265

Summary:	Review Request: ghc-copilot-language - A Haskell-embedded DSL for monitoring hard real-time distributed systems
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:	package-review
Target Milestone:	---	Flags:	petersen: fedora-review+
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:		Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2024-09-03 15:41:12 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-09-02 17:44:22 UTC

Spec URL: https://fdedden.fedorapeople.org/ghc-copilot-language.spec
SRPM URL: https://fdedden.fedorapeople.org/ghc-copilot-language-3.19.1-1.fc42.src.rpm

Description:
The concrete syntax 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

Comment 1 Frank Dedden 2024-09-02 17:44:24 UTC

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

Comment 2 Jens Petersen 2024-09-03 14:41:14 UTC

Looks fine

- pristine spec file generated with cabal-rpm-2.2.1
- license is BSD3 (Copilot core package)
- builds and installs fine
- complies with Haskell Packaging Policy

Package is APPROVED

Comment 3 Fedora Admin user for bugzilla script actions 2024-09-03 14:43:00 UTC

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