Bug 2309265 - Review Request: ghc-copilot-language - A Haskell-embedded DSL for monitoring hard real-time distributed systems
Summary: Review Request: ghc-copilot-language - A Haskell-embedded DSL for monitoring ...
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 17:44 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:12 UTC
Type: ---
Embargoed:
petersen: fedora-review+

Attachments (Terms of Use)

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