Fedora Packages

why3-examples-1.8.2-1.fc43 in Fedora 43

↵ Return to the main page of why3-examples
View build
Search for updates

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2025-09-16 Jerry James <loganjerry at gmail dot com> - 1.8.2-1 - Version 1.8.2
2025-09-05 Jerry James <loganjerry at gmail dot com> - 1.8.1-8 - Rebuild for ocaml-menhir 20250903
2025-08-22 Jerry James <loganjerry at gmail dot com> - 1.8.1-7 - Rebuild for ocaml-unionfind 20250818
2025-08-10 Jerry James <loganjerry at gmail dot com> - 1.8.1-6 - BR vim-filesystem for %{vimfiles_root}
2025-08-10 Jerry James <loganjerry at gmail dot com> - 1.8.1-5 - Use %{vimfiles_root}
2025-08-10 Jerry James <loganjerry at gmail dot com> - 1.8.1-4 - Bump and rebuild
2025-07-25 Fedora Release Engineering <releng at fedoraproject dot org> - 1.8.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
2025-07-12 Jerry James <loganjerry at gmail dot com> - 1.8.1-2 - Rebuild to fix OCaml dependencies
2025-06-09 Jerry James <loganjerry at gmail dot com> - 1.8.1-1 - Version 1.8.1 - All patches have been upstreamed
2025-06-07 Jerry James <loganjerry at gmail dot com> - 1.8.0-6 - Rebuild for bumped ocaml-mlgmpidl

Dependencies

Provides

  • why3-examples

Files


Sources on Pagure