why3-all-1.8.2-4.fc44 in Fedora Rawhide
↵ Return to the main page of why3-all
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
Changelog
| Date | Author | Change |
|---|---|---|
| 2026-01-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.8.2-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild |
| 2026-01-14 | Jerry James <loganjerry at gmail dot com> - 1.8.2-3 | - Reflow the description text |
| 2025-10-14 | Richard W.M. Jones <rjones at redhat dot com> - 1.8.2-2 | - OCaml 5.4.0 rebuild |
| 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 |
Provides
- why3-all
- why3-all(x86-64)
Sources on Pagure