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.3.0-2.fc45 RPM for x86_64

From Fedora 45 testing updates for x86_64 / debug / Packages / r

Name: rocq-coqide-server-debuginfo Distribution: Fedora Project
Version: 9.3.0 Vendor: Fedora Project
Release: 2.fc45 Build date: Sat Oct 3 16:53:14 2026
Group: Development/Debug Build host: buildhw-x86-03.rdu3.fedoraproject.org
Size: 14001178 Source RPM: rocq-9.3.0-2.fc45.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

* Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-2
  - Disable native compilation for aarch64
* Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-1
  - Version 9.3.0
  - Drop upstreamed dune patch
* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 9.2.0-4
  - OCaml 5.5.1 rebuild
* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 9.2.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 9.2.0-2
  - OCaml 5.5.0 rebuild
  - Add patch to adapt to dune 3.24
  - 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/3a
/usr/lib/debug/.build-id/3a/193fd7cef64486897c1743801950af5418bb6b
/usr/lib/debug/.build-id/3a/193fd7cef64486897c1743801950af5418bb6b.debug
/usr/lib/debug/.build-id/67
/usr/lib/debug/.build-id/67/f6ab54ff9cbebb908fbe2c61987bbccf59aad9
/usr/lib/debug/.build-id/67/f6ab54ff9cbebb908fbe2c61987bbccf59aad9.debug
/usr/lib/debug/.build-id/e7
/usr/lib/debug/.build-id/e7/b45594e9d7d4b2d3b54d8988c5d3a6c42d44d8
/usr/lib/debug/.build-id/e7/b45594e9d7d4b2d3b54d8988c5d3a6c42d44d8.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coqidetop-9.3.0-2.fc45.x86_64.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.3.0-2.fc45.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coqide-server/protocol
/usr/lib/debug/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxs-9.3.0-2.fc45.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 9 00:52:20 2026