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

rocq-rocqide-debuginfo-9.1.1-1.fc44 RPM for x86_64

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

Name: rocq-rocqide-debuginfo Distribution: Fedora Project
Version: 9.1.1 Vendor: Fedora Project
Release: 1.fc44 Build date: Fri Mar 20 20:29:02 2026
Group: Development/Debug Build host: buildvm-x86-30.rdu3.fedoraproject.org
Size: 7588026 Source RPM: rocq-9.1.1-1.fc44.src.rpm
Packager: Fedora Project
Url: https://rocq-prover.org/
Summary: Debug information for package rocq-rocqide
 
This package provides debug information for package rocq-rocqide.
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-or-later

Changelog

* Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 9.1.1-1
  - Initial RPM

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/03
/usr/lib/debug/.build-id/03/7413f8e75e6df6e249f41396a10aca581532d0
/usr/lib/debug/.build-id/03/7413f8e75e6df6e249f41396a10aca581532d0.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/rocqide-9.1.1-1.fc44.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon May 11 23:37:01 2026