Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-why3-debuginfo-1.8.2-9.fc44 RPM for aarch64

From Fedora 44 testing updates for aarch64 / debug / Packages / o

Name: ocaml-why3-debuginfo Distribution: Fedora Project
Version: 1.8.2 Vendor: Fedora Project
Release: 9.fc44 Build date: Fri Mar 20 21:50:09 2026
Group: Development/Debug Build host: buildvm-a64-24.rdu3.fedoraproject.org
Size: 6558946 Source RPM: why3-1.8.2-9.fc44.src.rpm
Packager: Fedora Project
Url: https://www.why3.org/
Summary: Debug information for package ocaml-why3
 
This package provides debug information for package ocaml-why3.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

LGPL-2.1-only WITH OCaml-LGPL-linking-exception

Changelog

* Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 1.8.2-9
  - Rebuild for rocq 9.1.1
  - Add patch to avoid Zmod, removed in rocq 9.1
* Sat Feb 21 2026 Richard W.M. Jones <rjones@redhat.com> - 1.8.2-8
  - OCaml 5.4.1 rebuild
* Thu Feb 12 2026 Jerry James <loganjerry@gmail.com> - 1.8.2-7
  - Rebuild for ocaml-menhir-20260209
* Sat Feb 07 2026 Jerry James <loganjerry@gmail.com> - 1.8.2-6
  - Rebuild for ocaml-menhir 20260203
* Mon Feb 02 2026 Jerry James <loganjerry@gmail.com> - 1.8.2-5
  - Rebuild for ocaml-menhir 20260122
* Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Wed Jan 14 2026 Jerry James <loganjerry@gmail.com> - 1.8.2-3
  - Reflow the description text
* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 1.8.2-2
  - OCaml 5.4.0 rebuild
* Tue Sep 16 2025 Jerry James <loganjerry@gmail.com> - 1.8.2-1
  - Version 1.8.2
* Fri Sep 05 2025 Jerry James <loganjerry@gmail.com> - 1.8.1-8
  - Rebuild for ocaml-menhir 20250903
* Fri Aug 22 2025 Jerry James <loganjerry@gmail.com> - 1.8.1-7
  - Rebuild for ocaml-unionfind 20250818
* Sun Aug 10 2025 Jerry James <loganjerry@gmail.com> - 1.8.1-6
  - BR vim-filesystem for %{vimfiles_root}
* Sun Aug 10 2025 Jerry James <loganjerry@gmail.com> - 1.8.1-5
  - Use %{vimfiles_root}
* Sun Aug 10 2025 Jerry James <loganjerry@gmail.com> - 1.8.1-4
  - Bump and rebuild
* Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sat Jul 12 2025 Jerry James <loganjerry@gmail.com> - 1.8.1-2
  - Rebuild to fix OCaml dependencies
* Mon Jun 09 2025 Jerry James <loganjerry@gmail.com> - 1.8.1-1
  - Version 1.8.1
  - All patches have been upstreamed
* Sat Jun 07 2025 Jerry James <loganjerry@gmail.com> - 1.8.0-6
  - Rebuild for bumped ocaml-mlgmpidl
* Tue Apr 15 2025 Jerry James <loganjerry@gmail.com> - 1.8.0-5
  - Rebuild for ocaml-ocamlgraph 2.2.0
* Thu Feb 13 2025 Jerry James <loganjerry@gmail.com> - 1.8.0-4
  - Rebuild for flocq 4.2.1
* Wed Jan 22 2025 Jerry James <loganjerry@gmail.com> - 1.8.0-3
  - Add patch for C23 compatibility
* Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 1.8.0-1
  - OCaml 5.3.0 rebuild for Fedora 42
  - Version 1.8.0
  - Disable documentation build due to bugs in 1.8.0
* Mon Oct 14 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-10
  - Fix the location of the icon
* Sun Oct 06 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-9
  - Rebuild for ocaml-re 1.13.3
* Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-8
  - Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2
* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.2-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-6
  - Rebuild for ocaml-zarith 1.14
* Wed Jul 03 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-5
  - Rebuild for ocaml-ppx-sexp-conv 0.17.0
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 1.7.2-4
  - OCaml 5.2.0 ppc64le fix
* Thu Jun 13 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-3
  - Rebuild for apron 0.9.15
  - New upstream URL
* Thu May 30 2024 Richard W.M. Jones <rjones@redhat.com> - 1.7.2-2
  - OCaml 5.2.0 for Fedora 41
* Thu Apr 18 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-1
  - Version 1.7.2
* Mon Mar 25 2024 Richard W.M. Jones <rjones@redhat.com> - 1.7.1-3
  - Use %{bash_completions_dir} macro

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/12
/usr/lib/debug/.build-id/12/31733e4d91b4c5de12bbe2aec86fe917499b4c
/usr/lib/debug/.build-id/12/31733e4d91b4c5de12bbe2aec86fe917499b4c.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/why3
/usr/lib/debug/usr/lib64/ocaml/why3/why3.cmxs-1.8.2-9.fc44.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 21 23:36:40 2026