rocq-coqide-server-devel-9.2.0-2.fc45 RPM for ppc64le

From Fedora Rawhide for ppc64le / 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.

The rocq-coqide-server-devel package contains libraries and signature files
for developing applications that use rocq-coqide-server.

Provides

• rocq-coqide-server-devel
• ocaml(Document)
• ocaml(Richpp)
• ocaml(Serialize)
• ocaml(Xml_lexer)
• ocaml(Xml_parser)
• ocaml(Xml_printer)
• ocaml(Xmlprotocol)
• ocamlx(Document)
• ocamlx(Richpp)
• ocamlx(Serialize)
• ocamlx(Xml_lexer)
• ocamlx(Xml_parser)
• ocamlx(Xml_printer)
• ocamlx(Xmlprotocol)
• rocq-coqide-server-devel(ppc-64)

Requires

• ocaml(CArray) = 5b32a33e358714547ce6daeba0f12ad1
• ocaml(CList) = 0882adb5c5a227e92b2a3a07183e83e6
• ocaml(CMap) = 8a56e198dd6e5a2f9a7b38c2abb1db60
• ocaml(CSet) = 29dbd5eead5024c34a1593aadc924d05
• ocaml(CSig) = 26c574d98d011351d971fbd27b9e8b09
• ocaml(CString) = 13b232370c07ef859b331ccc579a183e
• ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda
• ocaml(CamlinternalOO) = 9f49656fc194179b6162657dd5d0ca85
• ocaml(Exninfo) = 8b1c1f5a459f237a6eefbdc05e3c0c3a
• ocaml(Feedback) = 96d63b0916cfd4f7ca48c7bba8ad140a
• ocaml(Hashcons) = 6f55751bed5c20cdac5336a90cab41b5
• ocaml(Hashset) = 8d0a557f8649d7eeae2802c1e49e95e0
• ocaml(Interface) = de79bd0f43e19cbf877f321d0fb4c575
• ocaml(Loc) = 2af96156e647600dba688160d767ed1d
• ocaml(Option) = 92a29a188ae235a287ebc379e4dd25a4
• ocaml(Pp) = 2c38bf624e0ffbba3e2389beec2065bb
• ocaml(Predicate) = 0c221b82d5cdae9cbeeea482f4dc5d9d
• ocaml(Quickfix) = a99365c9ce5cdad164252c7e05e04016
• ocaml(Richpp) = 64f468854c25bcf7eb87dcd991b98533
• ocaml(Serialize) = 2bb8504b097f80f21062fd9afa40bd2c
• ocaml(Stateid) = 0e9825bc21db6ba7c8247cda75d5a6be
• 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
• ocamlx(CArray) = c5f7070414d31a4006d0418916db0788
• ocamlx(CList) = d11bcbbc8301ef1697dc19dabf28355e
• ocamlx(CString) = a094c43f6b3264f544c052079d60a1ff
• ocamlx(CamlinternalFormat) = dc180c9176757c64c3bec891737192f7
• ocamlx(CamlinternalOO) = 59c0079543031dadadc72c84dce48cf5
• ocamlx(Exninfo) = b9d8a3bd8b2728e5a7751ae9a9794305
• ocamlx(Option) = d0320982301c0dbb4b46f32df5ca8c68
• ocamlx(Pp) = 1bb32e606f428e4644db96c26d09a8c3
• ocamlx(Richpp) = ea5fe7153c462d6a619f3e984cddfebb
• ocamlx(Serialize) = 601e623bd23859dd2a78d5a3c5194d96
• ocamlx(Stateid) = 1cce8a33c7b01da71f6e531bcd805922
• ocamlx(Stdlib) = 10ea0d72067578752b9337ef13a8c4b8
• ocamlx(Stdlib__Array) = 8ec69c15a63db8574d415899732ab74e
• ocamlx(Stdlib__Atomic) = d55db5d280f80c26c1b5eeb03902c2c7
• ocamlx(Stdlib__Bigarray) = 99f1486865a7d3ac23adbc4f3464cf21
• ocamlx(Stdlib__Buffer) = cbd6b8493712cad8f2ff3d07d2af8748
• ocamlx(Stdlib__Bytes) = f22b9e15bc8cc33a9742247380af4768
• ocamlx(Stdlib__Domain) = 32ffc2b1cbdf4c3e65fe5afd238d092a
• ocamlx(Stdlib__Format) = 088b18472bb48a6edaae7e95b2b7364a
• ocamlx(Stdlib__Hashtbl) = 7835a42f37391041e5d9126bfd5756c1
• ocamlx(Stdlib__Lexing) = b48968d2cf35735d90237b1bb8998ba5
• ocamlx(Stdlib__List) = de311163159cc81659beef6dd6b5f114
• ocamlx(Stdlib__Map) = 7ff330d1ec1fddc5b9f97b46956bd026
• ocamlx(Stdlib__Printf) = ee4f90b3db36f6456cb9e4cb712076f2
• ocamlx(Stdlib__Queue) = b7d35f336220c9fcf195e4323e5355f0
• ocamlx(Stdlib__Random) = 8b26d96b069a78205a969d251a9c67d2
• ocamlx(Stdlib__Stack) = e91536cd44f7dc783942cf12c7ef4750
• ocamlx(Stdlib__String) = 16164d7a73bab99870c22d145e17a925
• ocamlx(Util) = 4092c7d5a90d938ec338d3874ccbf9c1
• ocamlx(Xml_lexer) = d8830a2a6db2d21b8ddf2a5a6ddae0de
• ocamlx(Xml_printer) = 805f0d48a9df29b7f1700e85536436e2
• rocq-coqide-server(ppc-64) = 9.2.0-2.fc45
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause

Changelog

* 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/lib64/ocaml/coqide-server/core/core.a
/usr/lib64/ocaml/coqide-server/core/core.cmxa
/usr/lib64/ocaml/coqide-server/core/document.cmt
/usr/lib64/ocaml/coqide-server/core/document.cmti
/usr/lib64/ocaml/coqide-server/core/document.cmx
/usr/lib64/ocaml/coqide-server/core/document.mli
/usr/lib64/ocaml/coqide-server/dune-package
/usr/lib64/ocaml/coqide-server/opam
/usr/lib64/ocaml/coqide-server/protocol/interface.cmti
/usr/lib64/ocaml/coqide-server/protocol/interface.mli
/usr/lib64/ocaml/coqide-server/protocol/protocol.a
/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxa
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmt
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmti
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmx
/usr/lib64/ocaml/coqide-server/protocol/richpp.mli
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmt
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmti
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmx
/usr/lib64/ocaml/coqide-server/protocol/serialize.mli
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.mli
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.mli
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.mli
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmt
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmti
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmx
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.mli

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Jul 19 00:25:41 2026