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

rocq-debuginfo-9.3.0-2.fc45 RPM for x86_64

From Fedora 45 testing updates for x86_64 / debug / Packages / r

Name: rocq-debuginfo Distribution: Fedora Project
Version: 9.3.0 Vendor: Fedora Project
Release: 2.fc45 Build date: Sat Oct 3 16:53:14 2026
Group: Development/Debug Build host: buildhw-x86-03.rdu3.fedoraproject.org
Size: 1716167 Source RPM: rocq-9.3.0-2.fc45.src.rpm
Packager: Fedora Project
Url: https://rocq-prover.org/
Summary: Debug information for package rocq
 
This package provides debug information for package rocq.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause

Changelog

* Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-2
  - Disable native compilation for aarch64
* Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-1
  - Version 9.3.0
  - Drop upstreamed dune patch
* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 9.2.0-4
  - OCaml 5.5.1 rebuild
* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 9.2.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 9.2.0-2
  - OCaml 5.5.0 rebuild
  - Add patch to adapt to dune 3.24
  - Fix rocq.xml
* Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 9.2.0-1
  - Version 9.2.0
  - Drop upstreamed documentation patch
  - Enable the native compiler for x86_64
* Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 9.1.1-1
  - Initial RPM

Files

/usr/lib/debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/rocq-9.3.0-2.fc45.x86_64

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Oct 8 00:28:15 2026