-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2025-4a2bd89932 2025-06-19 01:56:35.684244+00:00 --------------------------------------------------------------------------------
Name : lem Product : Fedora 42 Version : 2025.03.13 Release : 2.fc42 URL : https://github.com/rems-project/lem Summary : A tool for semantic definition language Description : Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale portable semantic definitions. It exports to LaTeX, OCaml code, and theorem proves (Coq, HOL4, Isabelle/HOL). Generated Coq code may not be idiomatic. It acts as an intermediate language for domain-specific tools and for porting definitions between theorem proves. -------------------------------------------------------------------------------- Update Information: Exclude i686 arch as it does not have OCaml -------------------------------------------------------------------------------- ChangeLog: * Tue Jun 10 2025 U2FsdGVkX1 <[email protected]> - 2025.03.13-2 - Exclude i686 arch as it does not have OCaml * Tue Jun 10 2025 U2FsdGVkX1 <[email protected]> - 2025.03.13-1 - Version 2025.03.13 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2025-4a2bd89932' 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 -- [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
