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

rocq-debuginfo-9.1.1-1.fc44 RPM for ppc64le

From Fedora 44 testing updates for ppc64le / debug / Packages / r

Name: rocq-debuginfo Distribution: Fedora Project
Version: 9.1.1 Vendor: Fedora Project
Release: 1.fc44 Build date: Fri Mar 20 20:31:55 2026
Group: Development/Debug Build host: buildvm-ppc64le-19.rdu3.fedoraproject.org
Size: 2401031 Source RPM: rocq-9.1.1-1.fc44.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

* 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.1.1-1.fc44.ppc64le

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 1 01:40:57 2026