Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

rocq-coqide-server-debuginfo-9.1.1-1.fc44 RPM for s390x

From Fedora 44 testing updates for s390x / debug / Packages / r

Name: rocq-coqide-server-debuginfo Distribution: Fedora Project
Version: 9.1.1 Vendor: Fedora Project
Release: 1.fc44 Build date: Fri Mar 20 20:29:31 2026
Group: Development/Debug Build host: buildvm-s390x-08.s390.fedoraproject.org
Size: 17940231 Source RPM: rocq-9.1.1-1.fc44.src.rpm
Packager: Fedora Project
Url: https://rocq-prover.org/
Summary: Debug information for package rocq-coqide-server
 
This package provides debug information for package rocq-coqide-server.
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

* 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/0a/ec69d93c44ae08b1fd38a6d8d9c0307252a96d
/usr/lib/debug/.build-id/0a/ec69d93c44ae08b1fd38a6d8d9c0307252a96d.debug
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/50f826be61d9de835304e78acd80dbf6725784
/usr/lib/debug/.build-id/48/50f826be61d9de835304e78acd80dbf6725784.debug
/usr/lib/debug/.build-id/64
/usr/lib/debug/.build-id/64/9d8e23e5dbd46d869a1dc4e90182805c39e743
/usr/lib/debug/.build-id/64/9d8e23e5dbd46d869a1dc4e90182805c39e743.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coqidetop-9.1.1-1.fc44.s390x.debug
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/coqide-server
/usr/lib/debug/usr/lib64/ocaml/coqide-server/core
/usr/lib/debug/usr/lib64/ocaml/coqide-server/core/core.cmxs-9.1.1-1.fc44.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/coqide-server/protocol
/usr/lib/debug/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxs-9.1.1-1.fc44.s390x.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 29 01:56:55 2026