Bug 2309147

Summary:	Review Request: ghc-copilot-theorem - K-induction for Copilot
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:00 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 11:19:39 UTC

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

Description:
Some tools to prove properties on Copilot programs with k-induction model
checking.

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 11:19:42 UTC

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

Comment 2 Jens Petersen 2024-09-02 15:12:59 UTC

Looks good to me

- pristine spec file generated by cabal-rpm-2.2.1
- license is BSD3
- builds and installs fine
- complies with Packaging Guidelines

Package is APPROVED

Comment 3 Fedora Admin user for bugzilla script actions 2024-09-02 16:39:54 UTC

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