Bug 2310592

Summary:	Review Request: ghc-copilot - A stream DSL for writing embedded C programs
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:	41	CC:	haskell-devel, package-review
Target Milestone:	---	Flags:	petersen: fedora-review+
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:	ghc-copilot-3.19.1-2.fc42	Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2024-10-21 07:57:45 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-07 05:44:52 UTC

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

Description:
Copilot is a stream-based runtime verification framework implemented as an
embedded domain-specific language (EDSL) in Haskell. Programs can be
interpreted for testing, or translated into C99 code to be incorporated in a
project, or as a standalone application. The C99 backend output is constant in
memory and time, making it suitable for systems with hard realtime
requirements.

This package is the main entry-point for using Copilot.

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-07 05:44:54 UTC

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

Comment 2 Jens Petersen 2024-09-07 09:58:36 UTC

Great this completes the core of NASA copilot, I think :-)

- pristine spec file generated by cabal-rpm
- license is BSD3
- builds and installs
- package complies with Haskell Packageing Policy

Package is APPROVED

Comment 3 Fedora Admin user for bugzilla script actions 2024-09-07 11:45:21 UTC

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