ghc-what4-1.5.1-3.fc41 | Build Info

ID	342398
Package Name	ghc-what4
Version	1.5.1
Release	3.fc41
Epoch
Source	git+https://src.fedoraproject.org/rpms/ghc-what4.git#ef40a1a22e7e8c573925d3150257cc6314479f17
Summary	Solver-agnostic symbolic values support for issuing queries
Description	What4 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 by	davidlt
State	failed
Volume	DEFAULT
Started	Fri, 25 Oct 2024 12:02:23 UTC
Completed	Fri, 25 Oct 2024 13:19:46 UTC
Task	build (f41, /rpms/ghc-what4.git:ef40a1a22e7e8c573925d3150257cc6314479f17)
Extra	{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-what4.git#ef40a1a22e7e8c573925d3150257cc6314479f17'}}
Tags	No tags
RPMs	No RPMs
Changelog	* 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