Thu, 14 Nov 2024 15:55:14 UTC | login

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

ID342386
Package Nameghc-copilot-c99
Version3.19.1
Release2.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-copilot-c99.git#68a8e9fe2445090cc0878853fe57609e72732b1c
SummaryA compiler for Copilot targeting C99
DescriptionThis package is a back-end from Copilot to C. 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 complete
Volume DEFAULT
StartedSat, 26 Oct 2024 07:18:29 UTC
CompletedSat, 26 Oct 2024 14:54:04 UTC
Taskbuild (f41, /rpms/ghc-copilot-c99.git:68a8e9fe2445090cc0878853fe57609e72732b1c)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-copilot-c99.git#68a8e9fe2445090cc0878853fe57609e72732b1c'}}
Tags
f41
RPMs
src
ghc-copilot-c99-3.19.1-2.fc41.src.rpm (info) (download)
noarch
ghc-copilot-c99-doc-3.19.1-2.fc41.noarch.rpm (info) (download)
riscv64
ghc-copilot-c99-3.19.1-2.fc41.riscv64.rpm (info) (download)
ghc-copilot-c99-devel-3.19.1-2.fc41.riscv64.rpm (info) (download)
ghc-copilot-c99-prof-3.19.1-2.fc41.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
root.log
build.log
state.log
mock_output.log
noarch_rpmdiff.json
Changelog * Sat Aug 31 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1 - spec file generated by cabal-rpm-2.2.1