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 aarch64

From Fedora 44 updates for aarch64 / 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:02:05 2026
Group: Development/Debug Build host: buildvm-a64-16.rdu3.fedoraproject.org
Size: 35439495 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/29
/usr/lib/debug/.build-id/29/0b6974e907575ca0438db84a6832c56f9b233a
/usr/lib/debug/.build-id/29/0b6974e907575ca0438db84a6832c56f9b233a.debug
/usr/lib/debug/.build-id/59/f2ad9db933f56e6bfd030df937753eda57811e
/usr/lib/debug/.build-id/59/f2ad9db933f56e6bfd030df937753eda57811e.debug
/usr/lib/debug/.build-id/6f/d8501baab572064a559d1619aad9d72768e5ca
/usr/lib/debug/.build-id/6f/d8501baab572064a559d1619aad9d72768e5ca.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/b9eb76f4b85651350f9a3b5ad0a75a85c4a06a
/usr/lib/debug/.build-id/84/b9eb76f4b85651350f9a3b5ad0a75a85c4a06a.debug
/usr/lib/debug/.build-id/89
/usr/lib/debug/.build-id/89/3429273a81baebef5eea875b649971ba55f901
/usr/lib/debug/.build-id/89/3429273a81baebef5eea875b649971ba55f901.debug
/usr/lib/debug/.build-id/8b
/usr/lib/debug/.build-id/8b/506eb9fce0e5ddf6ce7e94aad43da00944e603
/usr/lib/debug/.build-id/8b/506eb9fce0e5ddf6ce7e94aad43da00944e603.debug
/usr/lib/debug/.build-id/92
/usr/lib/debug/.build-id/92/896cb7f19494cdd1032a79dce8fe0604174721
/usr/lib/debug/.build-id/92/896cb7f19494cdd1032a79dce8fe0604174721.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/339c0821c9e6ce820f51281b36e47b2b547df7
/usr/lib/debug/.build-id/a5/339c0821c9e6ce820f51281b36e47b2b547df7.debug
/usr/lib/debug/.build-id/c1
/usr/lib/debug/.build-id/c1/d91eced33b234cc9d0af6b2892bc6d9e4c26f0
/usr/lib/debug/.build-id/c1/d91eced33b234cc9d0af6b2892bc6d9e4c26f0.debug
/usr/lib/debug/.build-id/cb/89a31925a50b3522931b5681ac03ebf2b2cf0d
/usr/lib/debug/.build-id/cb/89a31925a50b3522931b5681ac03ebf2b2cf0d.debug
/usr/lib/debug/.build-id/d0/a226bba8890abc9a91962099a5b20888e0b040
/usr/lib/debug/.build-id/d0/a226bba8890abc9a91962099a5b20888e0b040.debug
/usr/lib/debug/.build-id/f0/72248c6a2862e9d49abdace819cd6b91aa7741
/usr/lib/debug/.build-id/f0/72248c6a2862e9d49abdace819cd6b91aa7741.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coq_makefile-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqc-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqchk-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqdep-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqdoc-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqnative-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqpp-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqtop-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqtop.byte-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqwc-9.2.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqworkmgr-9.2.0-1.fc44.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 29 00:39:42 2026