rocq-coqide-server-devel-9.1.1-1.fc44 RPM for ppc64le

From Fedora 44 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) = 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
• ocamlx(CArray) = 63236bacd3fb0781fc1f0a3b8a3f0783
• ocamlx(CList) = 75a696f5e0efb98f96186ef67ba8d64a
• ocamlx(CString) = f65a53ccb3b93636bded5547c5af336e
• ocamlx(CamlinternalFormat) = b9ffd4182990e4a408cb4e48ee60ef89
• ocamlx(CamlinternalOO) = 7b11dfa31650908fe048aa782c717cbc
• ocamlx(Exninfo) = e71a599576d101dec6475216f1a49799
• ocamlx(Option) = bf6392a4698a7ce7917db49c0a121cf7
• ocamlx(Pp) = c67fa5b4fc0c621eae395c98ce238fe6
• ocamlx(Richpp) = 59b24596eb0926a744802f631484be2e
• ocamlx(Serialize) = 38e1010637a05445a3df410196d03d20
• ocamlx(Stateid) = fbb2fa854d8461d0ba32ac12b5187816
• ocamlx(Stdlib) = 76dd3023c6299e95a9c4e17ef27cb63c
• ocamlx(Stdlib__Array) = 6433efbf932995c60ed14dddc1f73933
• ocamlx(Stdlib__Atomic) = 86f5eb729cef248820c93b51c6e474de
• ocamlx(Stdlib__Bigarray) = 372a3e2be5acf3ef05437020ae4108f9
• ocamlx(Stdlib__Buffer) = 63d0ec3c055bc5c07995e53a29211970
• ocamlx(Stdlib__Bytes) = 561fb0c655ecbb544178fab36d26ab3c
• ocamlx(Stdlib__Domain) = 966e046bfc8a99ddc55f3245920fefeb
• ocamlx(Stdlib__Format) = d2ddf03794969b83081b9dc053d72192
• ocamlx(Stdlib__Hashtbl) = 54ae6b9ac320518da41c690d7e280802
• ocamlx(Stdlib__Lexing) = 14b58bf47ced1f291debca48e9b9665b
• ocamlx(Stdlib__List) = d370abca0fe053b8254f274f648dc837
• ocamlx(Stdlib__Map) = 150e0c482d6fbc6e7efdadd514c76c0e
• ocamlx(Stdlib__Printf) = ee9cf2eebbcce6eb1563cf9b47ade8fc
• ocamlx(Stdlib__Queue) = 0fa499f3dac7b12280ba0e01043b7537
• ocamlx(Stdlib__Random) = 0cbcb4292ff9de07c92eeaa1ef997a73
• ocamlx(Stdlib__Stack) = 01a40c409e165d1fe14d42762dc50070
• ocamlx(Stdlib__String) = 5ffe392d4ea6a5bed67d88a3a340c478
• ocamlx(Util) = 04d3e118e07250693c782b5cdafaf004
• ocamlx(Xml_lexer) = 411c0e93db8885ceb850159b3e7c6ef5
• ocamlx(Xml_printer) = e5f047085dd7b25ccde8abedd370d27e
• rocq-coqide-server(ppc-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

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/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, Sat Jul 25 11:07:33 2026