Bug 2309147 - Review Request: ghc-copilot-theorem - K-induction for Copilot
Summary: Review Request: ghc-copilot-theorem - K-induction for Copilot
Keywords:
Status: CLOSED NEXTRELEASE
Alias: None
Product: Fedora
Classification: Fedora
Component: Package Review
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jens Petersen
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2024-09-02 11:19 UTC by Frank Dedden
Modified: 2024-09-03 15:41 UTC (History)
1 user (show)

Fixed In Version:
Clone Of:
Environment:
Last Closed: 2024-09-03 15:41:00 UTC
Type: ---
Embargoed:
petersen: fedora-review+

Attachments (Terms of Use)

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
Note You need to log in before you can comment on or make changes to this bug.