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
This package built on koji: https://koji.fedoraproject.org/koji/taskinfo?taskID=123035072
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
The Pagure repository was created at https://src.fedoraproject.org/rpms/ghc-copilot