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

From Fedora 44 for s390x / 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(s390-64)

Requires

• ld64.so.1()(64bit)
• ld64.so.1(GLIBC_2.3)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.10)(64bit)
• libc.so.6(GLIBC_2.11)(64bit)
• libc.so.6(GLIBC_2.15)(64bit)
• libc.so.6(GLIBC_2.16)(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.2)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.28)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.2)(64bit)
• libc.so.6(GLIBC_2.3.4)(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.4)(64bit)
• libc.so.6(GLIBC_2.42)(64bit)
• libc.so.6(GLIBC_2.6)(64bit)
• libc.so.6(GLIBC_2.9)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• ocaml(CArray) = a2e455be7013ec529edc7deeb9c88dcd
• ocaml(CList) = 0de21becae3d402b63e131798333d505
• ocaml(CMap) = d8df1ab91a0cf1bc2bb100f53ca23222
• ocaml(CSet) = c99ec5a860a1db040e3cb46a4ef41cff
• ocaml(CSig) = 8cb23fa269471e19f2cc9161ba3980d0
• ocaml(CString) = 6ccd68e56971762e4417e8eabadc5ea9
• ocaml(CamlinternalFormatBasics) = bb23651112c1e05c61498d902472830d
• ocaml(CamlinternalOO) = d5be92aadc09753243a454f1f9c22271
• ocaml(Exninfo) = 95e7f938070548b5b5d750588295e6db
• ocaml(Feedback) = 747950a142a2a3b06505c9203be8ca69
• ocaml(Hashcons) = d9da5b4a5d48cabeddb2878692bf1fce
• ocaml(Hashset) = f2a941d55c9ded6be6c8f9026ec7a921
• ocaml(Interface) = 440cd641a9573739b4ba5194d03feb47
• ocaml(Loc) = ffb3e7b210af621f9edf1d0515b9fddb
• ocaml(Option) = e6b230b1582aa5d429e5fc3ca4c80044
• 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) = 6d6405eea6173eefd26ae1bf0cad4c54
• ocaml(Xml_datatype) = 467b68b73cffd645333815d6b355f3c7
• ocaml(Xml_lexer) = 63c599cc1fe1fb03222a147dc4dfcef1
• ocaml(Xml_printer) = 8e76f002606ace60aff565c859ed2add
• rocq-core(s390-64) = 9.1.1-1.fc44
• 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

* 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/0a/ec69d93c44ae08b1fd38a6d8d9c0307252a96d
/usr/lib/.build-id/48
/usr/lib/.build-id/48/50f826be61d9de835304e78acd80dbf6725784
/usr/lib/.build-id/64
/usr/lib/.build-id/64/9d8e23e5dbd46d869a1dc4e90182805c39e743
/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, Sat Jul 25 11:27:19 2026