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.3.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.3.0 Vendor: Fedora Project
Release: 1.fc44 Build date: Mon Oct 5 22:48:41 2026
Group: Development/Debug Build host: buildvm-ppc64le-32.rdu3.fedoraproject.org
Size: 32194527 Source RPM: rocq-9.3.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

* Mon Oct 05 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-1
  - Version 9.3.0
  - 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/.build-id
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/a962b62a28801952e5cdbad9a36c53239ad6e5
/usr/lib/debug/.build-id/1f/a962b62a28801952e5cdbad9a36c53239ad6e5.debug
/usr/lib/debug/.build-id/52/4729d4484689f081fe02b299fa6c1f5ba332a5
/usr/lib/debug/.build-id/52/4729d4484689f081fe02b299fa6c1f5ba332a5.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/26a8eac252d096f4fc1c6994a8ce0bda6c2206
/usr/lib/debug/.build-id/5b/26a8eac252d096f4fc1c6994a8ce0bda6c2206.debug
/usr/lib/debug/.build-id/5f
/usr/lib/debug/.build-id/5f/45965375ee5dd2a1846fbd4c27bad002b064f3
/usr/lib/debug/.build-id/5f/45965375ee5dd2a1846fbd4c27bad002b064f3.debug
/usr/lib/debug/.build-id/5f/bc1a62a4472f4c868661b633f27d87386d425d
/usr/lib/debug/.build-id/5f/bc1a62a4472f4c868661b633f27d87386d425d.debug
/usr/lib/debug/.build-id/6b/6dec71f185d0e034fcc94347bc9d1e6947557a
/usr/lib/debug/.build-id/6b/6dec71f185d0e034fcc94347bc9d1e6947557a.debug
/usr/lib/debug/.build-id/9a
/usr/lib/debug/.build-id/9a/aa6763c7c34ab995232e0278633a1c4cb01b5f
/usr/lib/debug/.build-id/9a/aa6763c7c34ab995232e0278633a1c4cb01b5f.debug
/usr/lib/debug/.build-id/ba
/usr/lib/debug/.build-id/ba/c99fe3802da58580ed0b635e374ef25745165c
/usr/lib/debug/.build-id/ba/c99fe3802da58580ed0b635e374ef25745165c.debug
/usr/lib/debug/.build-id/ca
/usr/lib/debug/.build-id/ca/87a0ff6358c54b93d4008166a17e5f265c4c0f
/usr/lib/debug/.build-id/ca/87a0ff6358c54b93d4008166a17e5f265c4c0f.debug
/usr/lib/debug/.build-id/d8
/usr/lib/debug/.build-id/d8/1ca2765e921b965abb14ac658530d39ac5d1bb
/usr/lib/debug/.build-id/d8/1ca2765e921b965abb14ac658530d39ac5d1bb.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/ae03a7be7f534f1e705eead3b5026eee5efe1e
/usr/lib/debug/.build-id/f4/ae03a7be7f534f1e705eead3b5026eee5efe1e.debug
/usr/lib/debug/.build-id/f7
/usr/lib/debug/.build-id/f7/4508392bf54400feb960cbf12a93c0193f427b
/usr/lib/debug/.build-id/f7/4508392bf54400feb960cbf12a93c0193f427b.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coq_makefile-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqc-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqchk-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqdep-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqdoc-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqnative-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqpp-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqtop-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqtop.byte-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqwc-9.3.0-1.fc44.ppc64le.debug
/usr/lib/debug/usr/bin/coqworkmgr-9.3.0-1.fc44.ppc64le.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Oct 7 04:49:32 2026