-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2024-3ebf63b96a 2024-10-05 00:15:27.673922 -------------------------------------------------------------------------------- Name : ghc-copilot-c99 Product : Fedora 41 Version : 3.19.1 Release : 2.fc41 URL : https://hackage.haskell.org/package/copilot-c99 Summary : A compiler for Copilot targeting C99 Description : This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at <https://copilot-language.github.io>. -------------------------------------------------------------------------------- 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-theorem: spec file generated by cabal-rpm-2.2.1 ghc-copilot-c99: 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-language-c99-util: bump release ghc-copilot-prettyprinter: spec file generated by cabal-rpm-2.2.1 ghc-copilot-interpreter: spec file generated by cabal-rpm-2.2.1 ghc-bv-sized: spec file generated by cabal-rpm-2.2.0 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: * Sat Aug 31 2024 Frank Dedden <frank@xxxxxxxxxxx> - 3.19.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-3ebf63b96a' 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
