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

coq-core-compat-debuginfo-9.2.0-1.fc44 RPM for ppc64le

From Fedora 44 updates for ppc64le / debug / Packages / c

Name: coq-core-compat-debuginfo Distribution: Fedora Project
Version: 9.2.0 Vendor: Fedora Project
Release: 1.fc44 Build date: Fri Apr 17 22:05:14 2026
Group: Development/Debug Build host: buildvm-ppc64le-20.rdu3.fedoraproject.org
Size: 33596703 Source RPM: rocq-9.2.0-1.fc44.src.rpm
Packager: Fedora Project
Url: https://rocq-prover.org/
Summary: Debug information for package coq-core-compat
 
This package provides debug information for package coq-core-compat.
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

* 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/.build-id
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/4b26e1d7dfb084b498a23ef10ee3112bc3b41e
/usr/lib/debug/.build-id/3e/4b26e1d7dfb084b498a23ef10ee3112bc3b41e.debug
/usr/lib/debug/.build-id/45
/usr/lib/debug/.build-id/45/8db22ba59e0f0b8668065fe6c469cfea4b7dd1
/usr/lib/debug/.build-id/45/8db22ba59e0f0b8668065fe6c469cfea4b7dd1.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/8f79725da8d16b836d476bd095bd0b18c568e2
/usr/lib/debug/.build-id/4e/8f79725da8d16b836d476bd095bd0b18c568e2.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/c912607cea86b2d4cc39e29024e2418c141aef
/usr/lib/debug/.build-id/5a/c912607cea86b2d4cc39e29024e2418c141aef.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/83148961a8b4793c745eec4a52326d60e913ad
/usr/lib/debug/.build-id/61/83148961a8b4793c745eec4a52326d60e913ad.debug
/usr/lib/debug/.build-id/74
/usr/lib/debug/.build-id/74/da8280b3fa9bebfb77f7319e5968d936455938
/usr/lib/debug/.build-id/74/da8280b3fa9bebfb77f7319e5968d936455938.debug
/usr/lib/debug/.build-id/a0/c6b51ebbbcfa987222d232fa2d89c94276a677
/usr/lib/debug/.build-id/a0/c6b51ebbbcfa987222d232fa2d89c94276a677.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/85728fe44e4d1d672ffdfb8f9fed7353797c68
/usr/lib/debug/.build-id/a5/85728fe44e4d1d672ffdfb8f9fed7353797c68.debug
/usr/lib/debug/.build-id/b6/7e03630c3869339670dc6ea9c60b589f5ac0ee
/usr/lib/debug/.build-id/b6/7e03630c3869339670dc6ea9c60b589f5ac0ee.debug
/usr/lib/debug/.build-id/cf
/usr/lib/debug/.build-id/cf/e9d6ef8d62dfe6efeba4b951906567e0cf659e
/usr/lib/debug/.build-id/cf/e9d6ef8d62dfe6efeba4b951906567e0cf659e.debug
/usr/lib/debug/.build-id/f6
/usr/lib/debug/.build-id/f6/25fd93153e07bdcdc4a1f3d563369506545cb8
/usr/lib/debug/.build-id/f6/25fd93153e07bdcdc4a1f3d563369506545cb8.debug
/usr/lib/debug/.build-id/f8
/usr/lib/debug/.build-id/f8/c8771f217835d7f12379c6ce08889f0c266ea4
/usr/lib/debug/.build-id/f8/c8771f217835d7f12379c6ce08889f0c266ea4.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coq_makefile-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqc-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqchk-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqdep-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqdoc-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqnative-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqpp-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqtop-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqtop.byte-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqwc-9.2.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqworkmgr-9.2.0-1.fc44.ppc64le.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Apr 30 01:03:09 2026