rocq-coqide-server-9.2.0-1.fc45 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

• glibc >= 2.43.9000-11
• 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) = a2e455be7013ec529edc7deeb9c88dcd
• ocaml(CList) = 9a2830c6a7f1e5138c25f4567f0e7335
• ocaml(CMap) = d8df1ab91a0cf1bc2bb100f53ca23222
• ocaml(CSet) = c99ec5a860a1db040e3cb46a4ef41cff
• ocaml(CSig) = 8cb23fa269471e19f2cc9161ba3980d0
• ocaml(CString) = b8a8bb70f9e4d08f167510409e9a6053
• ocaml(CamlinternalFormatBasics) = bb23651112c1e05c61498d902472830d
• ocaml(CamlinternalOO) = d5be92aadc09753243a454f1f9c22271
• ocaml(Exninfo) = 95e7f938070548b5b5d750588295e6db
• ocaml(Feedback) = 747950a142a2a3b06505c9203be8ca69
• ocaml(Hashcons) = d9da5b4a5d48cabeddb2878692bf1fce
• ocaml(Hashset) = f2a941d55c9ded6be6c8f9026ec7a921
• ocaml(Interface) = f6896541e07856d2775497df216c8302
• ocaml(Loc) = 11ac099f9c19f0c65bf3b47a73ef6e27
• ocaml(Option) = 41b74a99c114f72e84a33073de712a98
• ocaml(Pp) = a3240b9aca1401ce479dc8d56de4079e
• ocaml(Predicate) = 8dab2e64145accdd2f7a4ca1384b7899
• ocaml(Quickfix) = a8f347b27dc5e58c308b6569477dbfb0
• ocaml(Richpp) = 0a5cacdf19711300418cc457bf860343
• ocaml(Serialize) = ac3ce840b7f51e13e6ebd0f624ee5743
• ocaml(Stateid) = 7a2fd3563391a6fa0d41e519f878e667
• ocaml(Stdlib) = 7ff659a4a6b8ca32adc85623b24921e4
• ocaml(Stdlib__Array) = c1e9990cfc96f4a80be219086df84a1a
• ocaml(Stdlib__Buffer) = 199531813c148c733aa4841901f61885
• ocaml(Stdlib__Domain) = f4f911af3a887deb4246da1952f3bbde
• ocaml(Stdlib__Either) = d0d544d8ad6cd8d3916ef604e87e8b79
• ocaml(Stdlib__Format) = 59fa71efaaaea19dea6b27602dcaaaa2
• ocaml(Stdlib__Hashtbl) = 962e9d183e8a207a666ca7506cf46032
• ocaml(Stdlib__Int32) = eb4f33ed29b560525b336e79955fa30a
• ocaml(Stdlib__Int64) = 29e84e0d87545e4220cc5617eb2d20d5
• ocaml(Stdlib__Lexing) = 070822eb5537492e7ac0d885f1627b82
• ocaml(Stdlib__List) = 1f65c7c74ac3633417a8002cc6dd0e53
• ocaml(Stdlib__Map) = 2d8ea4e0be35a4403643e7043fc81316
• ocaml(Stdlib__Obj) = 70f3df7415d40eb721c8413fa408b7b6
• ocaml(Stdlib__Printf) = 689694603948509ee3d0b39b9ac66005
• ocaml(Stdlib__Seq) = 1d1c31e02b77070ff0e51eaaab2af0cc
• ocaml(Stdlib__Set) = f1c0353417503cf69279f65dd7b31d22
• ocaml(Stdlib__Stack) = 8beb90704d5de14f0323d6421c8095d6
• ocaml(Stdlib__String) = 64f1c33cae78f3dd80ca58dbba3deaf9
• ocaml(Stdlib__Uchar) = f6a44dd0c2e2c80b44deed7eb3c121ef
• ocaml(Util) = c9f8d7b5acde205a5d3eff397851b62d
• ocaml(Xml_datatype) = 467b68b73cffd645333815d6b355f3c7
• ocaml(Xml_lexer) = 63c599cc1fe1fb03222a147dc4dfcef1
• ocaml(Xml_printer) = 8e76f002606ace60aff565c859ed2add
• rocq-core(aarch-64) = 9.2.0-1.fc45
• 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

* 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/4d
/usr/lib/.build-id/4d/b0140a810d0e83b9ae23782f509814e510567b
/usr/lib/.build-id/72
/usr/lib/.build-id/72/4ea4d10220e73a4df5fdec75abd93a663431b3
/usr/lib/.build-id/90
/usr/lib/.build-id/90/8fc15359adc48901c80f01bd67a8fbc2b8f5d4
/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, Mon Jun 8 22:43:01 2026