Fri, 25 Oct 2024 16:33:09 UTC | login

Information for build ghc-copilot-language-3.19.1-2.fc41

ID342392
Package Nameghc-copilot-language
Version3.19.1
Release2.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-copilot-language.git#99f31e9b65f3c6e88e5884a03c78f410c253bddb
SummaryA Haskell-embedded DSL for monitoring hard real-time distributed systems
DescriptionThe 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>.
Built bydavidlt
State failed
Volume DEFAULT
StartedFri, 25 Oct 2024 11:52:46 UTC
CompletedFri, 25 Oct 2024 13:07:16 UTC
Taskbuild (f41, /rpms/ghc-copilot-language.git:99f31e9b65f3c6e88e5884a03c78f410c253bddb)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-copilot-language.git#99f31e9b65f3c6e88e5884a03c78f410c253bddb'}}
Tags No tags
RPMs No RPMs
Changelog * Mon Sep 02 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1 - spec file generated by cabal-rpm-2.2.1