Spec URL: https://fdedden.fedorapeople.org/ghc-what4.spec SRPM URL: https://fdedden.fedorapeople.org/ghc-what4-1.5.1-1.fc41.src.rpm 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. Fedora Account System Username: fdedden
This package built on koji: https://koji.fedoraproject.org/koji/taskinfo?taskID=122160341
Looks good to me ✅ - Pristine spec file generated by current cabal-rpm - License is BSD3 and all source files have headers - Package build, installs and complies with Package Guidelines Package is APPROVED
The Pagure repository was created at https://src.fedoraproject.org/rpms/ghc-what4