rocq-coqide-server-9.3.0-2.fc46 RPM for aarch64

From Fedora Rawhide for aarch64 / r

Rocq is a formal proof management system.  It provides a formal language to
write mathematical definitions, executable algorithms and theorems together
with an environment for semi-interactive development of machine-checked proofs.

This package provides the coqidetop language server, an implementation of
Rocq's XML protocol which allows clients, such as RocqIDE, to interact with
Rocq in a structured way.

Provides

• rocq-coqide-server
• coq-coqide-server
• ocaml(Document)
• ocaml(Interface)
• ocaml(Richpp)
• ocaml(Serialize)
• ocaml(Xml_lexer)
• ocaml(Xml_parser)
• ocaml(Xml_printer)
• ocaml(Xmlprotocol)
• rocq-coqide-server(aarch-64)

Requires

• ld-linux-aarch64.so.1()(64bit)
• ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.28)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.42)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• libm.so.6(GLIBC_2.44)(64bit)
• ocaml(CArray) = 5b32a33e358714547ce6daeba0f12ad1
• ocaml(CList) = 0882adb5c5a227e92b2a3a07183e83e6
• ocaml(CMap) = 837039a181f86e448f1157c634bb474a
• ocaml(CSet) = ab57beff06a6f9226fecced1557e3fe1
• ocaml(CSig) = 8f279bf05864a1b5c1556eda0a6a6b61
• ocaml(CString) = 23fe1bf405354c32f5969b0c163307f1
• ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda
• ocaml(CamlinternalOO) = 9f49656fc194179b6162657dd5d0ca85
• ocaml(Exninfo) = 8b1c1f5a459f237a6eefbdc05e3c0c3a
• ocaml(Feedback) = 4f92b417796d05824661283b9659f4c5
• ocaml(Hashcons) = 6f55751bed5c20cdac5336a90cab41b5
• ocaml(Hashset) = 8d0a557f8649d7eeae2802c1e49e95e0
• ocaml(Interface) = a8b9c1dd6be8875a20cd31cf3ccabbff
• ocaml(Loc) = 21a354265d941cf38dbb2a6fd6c1695a
• ocaml(Option) = 92a29a188ae235a287ebc379e4dd25a4
• ocaml(Pp) = 2c38bf624e0ffbba3e2389beec2065bb
• ocaml(Predicate) = 0c221b82d5cdae9cbeeea482f4dc5d9d
• ocaml(Quickfix) = 6411323f133a4e6c78dfb40797324ae3
• ocaml(Richpp) = 64f468854c25bcf7eb87dcd991b98533
• ocaml(Serialize) = bbf01fe86ed1844ebe20d2f56f1b080e
• ocaml(Stateid) = e83e79a53b2cea898a60ab1fd4dd9c36
• ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f
• ocaml(Stdlib__Array) = 09ad905d6230fc4f28ae1b69e8675e79
• ocaml(Stdlib__Buffer) = c0940caa52bfb8d306ed2ca69af87ed6
• ocaml(Stdlib__Domain) = d11ad689f3e35d9892101961a1201121
• ocaml(Stdlib__Either) = e4e548dbb128df23a9325d9cba39fc2f
• ocaml(Stdlib__Format) = 5b2f2a54d0831d599db87620d18b8ca1
• ocaml(Stdlib__Hashtbl) = 6df0309fbcf3f1661d9e3d07a603aa3e
• ocaml(Stdlib__Int32) = 6583ec691ad5b5d0403bb4dba14ff95a
• ocaml(Stdlib__Int64) = 6c1bd23e0da837071a98f3330e9f1242
• ocaml(Stdlib__Lexing) = 738e4c77ef59ce13f6f1eeecd20678b3
• ocaml(Stdlib__List) = 81a27a0a9af489e91fa1d99f325067c2
• ocaml(Stdlib__Map) = a9944feda56cab2432578db95de546a3
• ocaml(Stdlib__Obj) = 26b40efd5c9a30f8c9c87c6133b5adbf
• ocaml(Stdlib__Printf) = 3303d43852c2d96a670040b4fc4aefc6
• ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111
• ocaml(Stdlib__Set) = 878d51b56f0f7be3121d17ee49b6ece5
• ocaml(Stdlib__Stack) = 8c1adfb915ebcf7ee8b1cee69ad6daba
• ocaml(Stdlib__String) = 10f6a338df78df4f5987192086ffa3c9
• ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1
• ocaml(Util) = 219a82943a407209300fd2eca83af94c
• ocaml(Xml_datatype) = 1fc2a66ce0e39b30eb800beefd4367e7
• ocaml(Xml_lexer) = 63c45112afe4d5c5ee55668962ab8261
• ocaml(Xml_printer) = a452acdeec9c0f0dcce9e156f594084e
• rocq-core(aarch-64) = 9.3.0-2.fc46
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

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/bin/coqidetop
/usr/lib/.build-id
/usr/lib/.build-id/41
/usr/lib/.build-id/41/a000a47c265210ba9aadd8ac87f34ea632428d
/usr/lib/.build-id/5e/2cccebfbcf2f488432226d4b4fce98c0b5b6a2
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/e84046a3a98b9728c26c03a9395460dc68fd12
/usr/lib64/ocaml/coqide-server
/usr/lib64/ocaml/coqide-server/META
/usr/lib64/ocaml/coqide-server/core
/usr/lib64/ocaml/coqide-server/core/core.cma
/usr/lib64/ocaml/coqide-server/core/core.cmxs
/usr/lib64/ocaml/coqide-server/core/document.cmi
/usr/lib64/ocaml/coqide-server/protocol
/usr/lib64/ocaml/coqide-server/protocol/interface.cmi
/usr/lib64/ocaml/coqide-server/protocol/protocol.cma
/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxs
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmi
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmi
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmi
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmi
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmi
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmi

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Sep 29 23:18:39 2026