Fri, 22 Nov 2024 11:08:33 UTC | login

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

ID342396
Package Nameghc-copilot-prettyprinter
Version3.19.1
Release2.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-copilot-prettyprinter.git#be79497b66e50d09585c4568e2c1b1719fe80f71
SummaryA prettyprinter of Copilot Specifications
DescriptionA prettyprinter of Copilot specifications. 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:20:50 UTC
CompletedSat, 26 Oct 2024 15:07:37 UTC
Taskbuild (f41, /rpms/ghc-copilot-prettyprinter.git:be79497b66e50d09585c4568e2c1b1719fe80f71)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-copilot-prettyprinter.git#be79497b66e50d09585c4568e2c1b1719fe80f71'}}
Tags
f41
RPMs
src
ghc-copilot-prettyprinter-3.19.1-2.fc41.src.rpm (info) (download)
noarch
ghc-copilot-prettyprinter-doc-3.19.1-2.fc41.noarch.rpm (info) (download)
riscv64
ghc-copilot-prettyprinter-3.19.1-2.fc41.riscv64.rpm (info) (download)
ghc-copilot-prettyprinter-devel-3.19.1-2.fc41.riscv64.rpm (info) (download)
ghc-copilot-prettyprinter-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 * Thu Aug 22 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1 - spec file generated by cabal-rpm-2.2.1