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 s390x

From Fedora 44 updates for s390x / 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:14 2026
Group: Development/Debug Build host: buildvm-s390x-17.s390.fedoraproject.org
Size: 32324415 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/07
/usr/lib/debug/.build-id/07/bea688b59ff85fb85a9ee075da3169825a5015
/usr/lib/debug/.build-id/07/bea688b59ff85fb85a9ee075da3169825a5015.debug
/usr/lib/debug/.build-id/17
/usr/lib/debug/.build-id/17/d0e87014363ff81520aa92dd9e13796e231500
/usr/lib/debug/.build-id/17/d0e87014363ff81520aa92dd9e13796e231500.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/296c6cb6f77a9fb1e6f18b61a03c4281105fbc
/usr/lib/debug/.build-id/19/296c6cb6f77a9fb1e6f18b61a03c4281105fbc.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/67bca2fe6ab45b278603d0acc713f1246a431f
/usr/lib/debug/.build-id/2e/67bca2fe6ab45b278603d0acc713f1246a431f.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/0843aba8ca3ccf466d50198402fab1bba3665d
/usr/lib/debug/.build-id/5b/0843aba8ca3ccf466d50198402fab1bba3665d.debug
/usr/lib/debug/.build-id/80
/usr/lib/debug/.build-id/80/4f7511c45eba76e26beb27bce409a5d9f9caf4
/usr/lib/debug/.build-id/80/4f7511c45eba76e26beb27bce409a5d9f9caf4.debug
/usr/lib/debug/.build-id/86
/usr/lib/debug/.build-id/86/71dddd244451a8f81ab331eae1eda9234ad366
/usr/lib/debug/.build-id/86/71dddd244451a8f81ab331eae1eda9234ad366.debug
/usr/lib/debug/.build-id/8a
/usr/lib/debug/.build-id/8a/4f929e9285534b829dc7f53724db70993fb7dd
/usr/lib/debug/.build-id/8a/4f929e9285534b829dc7f53724db70993fb7dd.debug
/usr/lib/debug/.build-id/ab
/usr/lib/debug/.build-id/ab/1acb97d5d11f55f9ea9ba134a458fb47101452
/usr/lib/debug/.build-id/ab/1acb97d5d11f55f9ea9ba134a458fb47101452.debug
/usr/lib/debug/.build-id/b2
/usr/lib/debug/.build-id/b2/313aa5076621f6bcf5fb2b674a582bfad3ace9
/usr/lib/debug/.build-id/b2/313aa5076621f6bcf5fb2b674a582bfad3ace9.debug
/usr/lib/debug/.build-id/e4
/usr/lib/debug/.build-id/e4/4daeac377815afda770a282935de57892550dd
/usr/lib/debug/.build-id/e4/4daeac377815afda770a282935de57892550dd.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/edde7abbd390f9f29bba243d28c8da8993efdd
/usr/lib/debug/.build-id/f5/edde7abbd390f9f29bba243d28c8da8993efdd.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coq_makefile-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqc-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqchk-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqdep-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqdoc-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqnative-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqpp-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqtop-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqtop.byte-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqwc-9.3.0-1.fc44.s390x.debug
/usr/lib/debug/usr/bin/coqworkmgr-9.3.0-1.fc44.s390x.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Oct 7 05:02:10 2026