-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2024-20568b7f17 2024-10-06 02:10:55.593708 -------------------------------------------------------------------------------- Name : ghc-what4 Product : Fedora 40 Version : 1.5.1 Release : 3.fc40 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: ghc-copilot: spec file generated by cabal-rpm-2.2.1 ghc-copilot-libraries: spec file generated by cabal-rpm-2.2.1 ghc-copilot-language: spec file generated by cabal-rpm-2.2.1 ghc-copilot-c99: spec file generated by cabal-rpm-2.2.1 ghc-copilot-theorem: spec file generated by cabal-rpm-2.2.1 ghc-language-c99-simple: bump release ghc-what4: Fix missing entry in sources and .gitignore files. ghc-bv-sized: spec file generated by cabal-rpm-2.2.0 ghc-copilot-interpreter: spec file generated by cabal-rpm-2.2.1 ghc-copilot-prettyprinter: spec file generated by cabal-rpm-2.2.1 ghc-language-c99-util: bump release ghc-BoundedChan: Fix missing entry in sources and .gitignore files. ghc-bitwise: Fix missing entry in .gitignore files. ghc-config-value: bump release ghc-copilot-core: Fix missing entry in sources and .gitignore files. ghc-deriving-compat: https://hackage.haskell.org/package/deriving-compat-0.6.6/changelog ghc-language-c99: bump release ghc-libBF: bump release ghc-panic: Fix missing entry in sources and .gitignore files. ghc-parameterized-utils: Fix missing entry in sources and .gitignore files. ghc-s-cargot: bump release ghc-versions: disable tests on i686 ghc-zenc: bump release -------------------------------------------------------------------------------- ChangeLog: * Tue Sep 24 2024 Frank Dedden <frank@xxxxxxxxxxx> - 1.5.1-3 - Fix missing entry in `sources` and `.gitignore` files. * Mon Aug 19 2024 Frank Dedden <frank@xxxxxxxxxxx> - 1.5.1-1 - spec file generated by cabal-rpm-2.2.1 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2024-20568b7f17' at the command line. For more information, refer to the dnf documentation available at http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- -- _______________________________________________ package-announce mailing list -- package-announce@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx 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/package-announce@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
