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 s390x

From Fedora 44 updates for s390x / 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:13:34 2026
Group: Development/Debug Build host: buildvm-s390x-06.s390.fedoraproject.org
Size: 33796407 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/32
/usr/lib/debug/.build-id/32/dc82765d70f245c05e383714cccf1222f36032
/usr/lib/debug/.build-id/32/dc82765d70f245c05e383714cccf1222f36032.debug
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/f80296b2ab0026a22131b0ed54a8c48258eed5
/usr/lib/debug/.build-id/3e/f80296b2ab0026a22131b0ed54a8c48258eed5.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/fe6ca5755091ef980b901cc916a8c228c0dbd6
/usr/lib/debug/.build-id/61/fe6ca5755091ef980b901cc916a8c228c0dbd6.debug
/usr/lib/debug/.build-id/73
/usr/lib/debug/.build-id/73/5c8df403fd8958d703769fe5f9577012e27b44
/usr/lib/debug/.build-id/73/5c8df403fd8958d703769fe5f9577012e27b44.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/37a43d90498601d08357eb3fb733417a4d41a6
/usr/lib/debug/.build-id/85/37a43d90498601d08357eb3fb733417a4d41a6.debug
/usr/lib/debug/.build-id/8a
/usr/lib/debug/.build-id/8a/448f3e267cacc058bdf72fc311544cb5b8f1e9
/usr/lib/debug/.build-id/8a/448f3e267cacc058bdf72fc311544cb5b8f1e9.debug
/usr/lib/debug/.build-id/8d
/usr/lib/debug/.build-id/8d/c6d17d521a79db2323e8338d102821b094065d
/usr/lib/debug/.build-id/8d/c6d17d521a79db2323e8338d102821b094065d.debug
/usr/lib/debug/.build-id/a5
/usr/lib/debug/.build-id/a5/8a222ee8a1844aee694512894b46a95a0c36c4
/usr/lib/debug/.build-id/a5/8a222ee8a1844aee694512894b46a95a0c36c4.debug
/usr/lib/debug/.build-id/bd/5863ad65d1ef8d1eb24d5a2aacbd4dd1053542
/usr/lib/debug/.build-id/bd/5863ad65d1ef8d1eb24d5a2aacbd4dd1053542.debug
/usr/lib/debug/.build-id/c6
/usr/lib/debug/.build-id/c6/22c512db88f0b565794fba0e38ad9c184f020a
/usr/lib/debug/.build-id/c6/22c512db88f0b565794fba0e38ad9c184f020a.debug
/usr/lib/debug/.build-id/dc/45c0ea5b3b9af655f287473c0a25934af85a77
/usr/lib/debug/.build-id/dc/45c0ea5b3b9af655f287473c0a25934af85a77.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/d0461e562aa566c1f2448ae24c1e61e187237f
/usr/lib/debug/.build-id/f9/d0461e562aa566c1f2448ae24c1e61e187237f.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coq_makefile-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqc-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqchk-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqdep-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqdoc-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqnative-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqpp-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqtop-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqtop.byte-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqwc-9.2.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqworkmgr-9.2.0-1.fc44.s390x.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun May 10 03:12:26 2026