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 aarch64

From Fedora 44 updates for aarch64 / 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:46:40 2026
Group: Development/Debug Build host: buildvm-a64-44.rdu3.fedoraproject.org
Size: 34053303 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/09
/usr/lib/debug/.build-id/09/9fad93fd51928b1181123a18f68cbc75234eb0
/usr/lib/debug/.build-id/09/9fad93fd51928b1181123a18f68cbc75234eb0.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/1cd78a1452196d234a1e4ab3fedaaad78a6a4a
/usr/lib/debug/.build-id/28/1cd78a1452196d234a1e4ab3fedaaad78a6a4a.debug
/usr/lib/debug/.build-id/30
/usr/lib/debug/.build-id/30/396137f2e5f81f98350bb9054bcf3ab2b8b0c2
/usr/lib/debug/.build-id/30/396137f2e5f81f98350bb9054bcf3ab2b8b0c2.debug
/usr/lib/debug/.build-id/3c
/usr/lib/debug/.build-id/3c/aaa80ff7ffd669c362fe09bf33983cd1cd96b1
/usr/lib/debug/.build-id/3c/aaa80ff7ffd669c362fe09bf33983cd1cd96b1.debug
/usr/lib/debug/.build-id/4d/71266c68901f0a4994b8b240fbaa2f088fb506
/usr/lib/debug/.build-id/4d/71266c68901f0a4994b8b240fbaa2f088fb506.debug
/usr/lib/debug/.build-id/66
/usr/lib/debug/.build-id/66/979a349f1d7e147104097b64b1b1f8d5eeccb0
/usr/lib/debug/.build-id/66/979a349f1d7e147104097b64b1b1f8d5eeccb0.debug
/usr/lib/debug/.build-id/7c/c23cb8368c26bd21a6fad49b172d0d1159adf9
/usr/lib/debug/.build-id/7c/c23cb8368c26bd21a6fad49b172d0d1159adf9.debug
/usr/lib/debug/.build-id/91
/usr/lib/debug/.build-id/91/57cfbecf51eb69d38228c9198197d53f5f5b00
/usr/lib/debug/.build-id/91/57cfbecf51eb69d38228c9198197d53f5f5b00.debug
/usr/lib/debug/.build-id/91/6a90219a1082d3207b7cb9a4984904219a0d46
/usr/lib/debug/.build-id/91/6a90219a1082d3207b7cb9a4984904219a0d46.debug
/usr/lib/debug/.build-id/ab/87c1d11811429d98b4d71e29343c19c5c5bad0
/usr/lib/debug/.build-id/ab/87c1d11811429d98b4d71e29343c19c5c5bad0.debug
/usr/lib/debug/.build-id/e1
/usr/lib/debug/.build-id/e1/13888b8904f68cd550ae313418a8b305df4de0
/usr/lib/debug/.build-id/e1/13888b8904f68cd550ae313418a8b305df4de0.debug
/usr/lib/debug/.build-id/e9/f3f0e28758cc743192487d5368d677b8a3c6a8
/usr/lib/debug/.build-id/e9/f3f0e28758cc743192487d5368d677b8a3c6a8.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coq_makefile-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqc-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqchk-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqdep-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqdoc-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqnative-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqpp-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqtop-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqtop.byte-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqwc-9.3.0-1.fc44.aarch64.debug
/usr/lib/debug/usr/bin/coqworkmgr-9.3.0-1.fc44.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 9 01:48:06 2026