Fri, 25 Oct 2024 16:27:32 UTC | login

Information for build ghc-copilot-core-3.19.1-3.fc41

ID342389
Package Nameghc-copilot-core
Version3.19.1
Release3.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-copilot-core.git#4f61a49366dd01fb2c14a9a5f24b5d490980a3d4
SummaryAn intermediate representation for Copilot
DescriptionIntermediate representation 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 complete
Volume DEFAULT
StartedFri, 25 Oct 2024 11:49:01 UTC
CompletedFri, 25 Oct 2024 12:58:47 UTC
Taskbuild (f41, /rpms/ghc-copilot-core.git:4f61a49366dd01fb2c14a9a5f24b5d490980a3d4)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-copilot-core.git#4f61a49366dd01fb2c14a9a5f24b5d490980a3d4'}}
Tags
f41
RPMs
src
ghc-copilot-core-3.19.1-3.fc41.src.rpm (info) (download)
noarch
ghc-copilot-core-doc-3.19.1-3.fc41.noarch.rpm (info) (download)
riscv64
ghc-copilot-core-3.19.1-3.fc41.riscv64.rpm (info) (download)
ghc-copilot-core-devel-3.19.1-3.fc41.riscv64.rpm (info) (download)
ghc-copilot-core-prof-3.19.1-3.fc41.riscv64.rpm (info) (download)
Logs
riscv64
state.log
hw_info.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Tue Sep 24 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-3 - Fix missing entry in `sources` and `.gitignore` files. * Thu Aug 22 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1 - spec file generated by cabal-rpm-2.2.1