-------------------------------------------------------------------------------- Fedora EPEL Update Notification FEDORA-EPEL-2025-dc0c8ceb93 2025-05-14 02:01:27.581228+00:00 --------------------------------------------------------------------------------
Name : ghc-what4 Product : Fedora EPEL 10.0 Version : 1.5.1 Release : 3.el10_0 URL : https://hackage.haskell.org/package/what4 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. -------------------------------------------------------------------------------- Update Information: Initial Haskell support for EPEL 10 Backport from F41/F42 based on ghc-9.6.6, cabal-install-3.10.3, and stack-2.15.7 Also ghc8.10, ghc9.0, ghc9.2, ghc9.4, ghc9.6, ghc9.8, and ghc9.10 with llvm12 and llvm14 builds of Agda, ShellCheck, bench, c2hs, copilot, darcs, dhall, gtk2hs- buildtools, git-annex, hlint, ormolu, pandoc, patat, shake, tart also dl-fedora, dnf-repo, fbrnch, fedora-repoquery, hwk, koji-tool, ostree-pin, pagure-cli, pkgtreediff, rhbzquery, rpmbuild-order ghc9.12 will follow -------------------------------------------------------------------------------- ChangeLog: * Tue Sep 24 2024 Frank Dedden <[email protected]> - 1.5.1-3 - Fix missing entry in `sources` and `.gitignore` files. * Mon Aug 19 2024 Frank Dedden <[email protected]> - 1.5.1-1 - spec file generated by cabal-rpm-2.2.1 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1972432 - Git-annex on EPEL https://bugzilla.redhat.com/show_bug.cgi?id=1972432 [ 2 ] Bug #2303978 - Please branch and build ghc in epel10 https://bugzilla.redhat.com/show_bug.cgi?id=2303978 [ 3 ] Bug #2319793 - Please branch and build pandoc-cli for EPEL 10 https://bugzilla.redhat.com/show_bug.cgi?id=2319793 [ 4 ] Bug #2328756 - ShellCheck: please provide epel10 package https://bugzilla.redhat.com/show_bug.cgi?id=2328756 -------------------------------------------------------------------------------- This update can be installed with the "yum" update programs. Use su -c 'yum update ghc-what4' at the command line. For more information, refer to "YUM", available at https://access.redhat.com/documentation/en-US/Red_Hat_Enterprise_Linux/7\ /html/System_Administrators_Guide/ch-yum.html All packages are signed with the Fedora EPEL GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- -- _______________________________________________ epel-package-announce mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
