Sat, 01 Mar 2025 11:04:40 UTC | login

Information for build ghc-what4-1.5.1-4.fc42

ID358760
Package Nameghc-what4
Version1.5.1
Release4.fc42
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-what4.git#3a7020e0ba1a039296035c98b30dad1b9c7faf0c
SummarySolver-agnostic symbolic values support for issuing queries
DescriptionWhat4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.
Built byjmontleon
State complete
Volume DEFAULT
StartedSat, 01 Mar 2025 04:37:51 UTC
CompletedSat, 01 Mar 2025 05:57:42 UTC
Taskbuild (f42, /rpms/ghc-what4.git:3a7020e0ba1a039296035c98b30dad1b9c7faf0c)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-what4.git#3a7020e0ba1a039296035c98b30dad1b9c7faf0c'}}
Tags
f42
RPMs
src
ghc-what4-1.5.1-4.fc42.src.rpm (info) (download)
noarch
ghc-what4-doc-1.5.1-4.fc42.noarch.rpm (info) (download)
riscv64
ghc-what4-1.5.1-4.fc42.riscv64.rpm (info) (download)
ghc-what4-devel-1.5.1-4.fc42.riscv64.rpm (info) (download)
ghc-what4-prof-1.5.1-4.fc42.riscv64.rpm (info) (download)
Logs
riscv64
state.log
build.log
root.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
Changelog * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Tue Sep 24 2024 Frank Dedden <frank@systemf.dev> - 1.5.1-3 - Fix missing entry in `sources` and `.gitignore` files. * Mon Aug 19 2024 Frank Dedden <frank@systemf.dev> - 1.5.1-1 - spec file generated by cabal-rpm-2.2.1