coq-ide-server-8.20.1-1.mga10 RPM for x86_64

From Mageia Cauldron for x86_64 / media / core / release

The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant.
This package provides the coqidetop language server, an implementation of
Coq's XML protocol which allows clients, such as CoqIDE, to interact with
Coq in a structured way.

Provides

• coq-ide-server
• coq-ide-server(x86-64)
• ocaml(Document)
• ocaml(Interface)
• 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)

Requires

• ocaml(CArray) = 2b3f0747db4140072c56151436261450
• ocaml(CList) = 55cad0014108a39cbd28c288aa4cc464
• ocaml(CMap) = 8d2506e7f7f0d60de33fdc52ad81e44b
• ocaml(CSet) = 2b84f6a8ece3454a2f626c767ccd1c20
• ocaml(CSig) = 6c662b9815c90a29259fc2010b7403af
• ocaml(CString) = 37ce66f57020248d544e0bff9ae5d546
• ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
• ocaml(CamlinternalOO) = 7104364f38cf3c63ed2f3069b6f44253
• ocaml(Exninfo) = 01626d04f3a0bbd3e52374308a28ee7f
• ocaml(Feedback) = fe0fd5a742f4cb0437336e5135dd2ef9
• ocaml(Hashcons) = c0f32ac191ef63cfd7b6277561b4c7e6
• ocaml(Hashset) = fdfee9d55cd6d12cfc4c4d99a20ccd26
• ocaml(Loc) = 4182b80fe772365dc58a5e141bf3c080
• ocaml(Option) = 17c4a65573d840de020bd9d09e3b0883
• ocaml(Pp) = cb19ac72d9188bf01d0db95fb01a4506
• ocaml(Predicate) = 7f40f26b4b4821ae99ca34e9081ca78a
• ocaml(Stateid) = ba0968224fb219ba0050f8bffbff07ed
• ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
• ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c
• ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
• ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
• ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
• ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
• ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
• ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
• ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705
• ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
• ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
• ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e
• ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
• ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
• ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
• ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627
• ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc
• ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
• ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
• ocaml(Util) = 22d3a326d01eb58fdc66125ae40c7749
• ocaml(Xml_datatype) = 2f6ecdd8682d4492a1198fb547390452
• ocaml(Xml_lexer) = 02dd5f96a9f03895d2abe05c140b23bb
• ocamlx(CList) = 39e870277c825113b42e3e502e36da38
• ocamlx(CString) = 94cd8ceb3ae2bb8760378a2db86de0ea
• ocamlx(CamlinternalOO) = f0655d4d787c2a776d739a4180935b8b
• ocamlx(Exninfo) = 98e148cdd84157b316855841d1fad727
• ocamlx(Option) = 27ff71101e71c8adc6fca224157c9619
• ocamlx(Pp) = 9282b7f51839212df25f2a47db228b55
• ocamlx(Stateid) = abc455d3b4d96aef6cecb7b0d2d0887c
• ocamlx(Stdlib) = 9dc4e5eb1428b4b83037e136de64d07b
• ocamlx(Stdlib__Buffer) = 019603e6c5a03da51c8ca38adff3c148
• ocamlx(Stdlib__Format) = 9fd07a8bda3b6871f15d2dd899999381
• ocamlx(Stdlib__Hashtbl) = 13921c1b993c3df360282ffc9e1fc820
• ocamlx(Stdlib__Lexing) = a0a1b1cb8c436f14fa0076493b310581
• ocamlx(Stdlib__List) = c3a511aa4a318695fc8c537a066b344c
• ocamlx(Stdlib__Printf) = 3355dd2861376d6f7797acdac699579a
• ocamlx(Stdlib__Stack) = 7b91372dd86d3672576961002a1dde27
• ocamlx(Stdlib__String) = f97b634b8d02a0422b61f35a94a2cf6b
• ocamlx(Util) = e7087aca2e0fd0d45766ee05dd0012ea
• ocamlx(Xml_lexer) = 294427dd5c3713dea48bc72bd77f336f
• 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 MIT AND BSD-3-Clause

Changelog

* Sun Jun 22 2025 daviddavid <daviddavid> 8.20.1-1.mga10
  + Revision: 2193932
  - new version: 8.20.1

Files

/usr/lib/.build-id
/usr/lib/.build-id/17/5733195ef8bdc7633516aafa447aa2ec1c53e4
/usr/lib/.build-id/b7
/usr/lib/.build-id/b7/bfaf11b7b5766d32d3556891954594c45250cb
/usr/lib64/ocaml/coqide-server
/usr/lib64/ocaml/coqide-server/META
/usr/lib64/ocaml/coqide-server/core
/usr/lib64/ocaml/coqide-server/core/core.a
/usr/lib64/ocaml/coqide-server/core/core.cma
/usr/lib64/ocaml/coqide-server/core/core.cmxa
/usr/lib64/ocaml/coqide-server/core/core.cmxs
/usr/lib64/ocaml/coqide-server/core/document.cmi
/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
/usr/lib64/ocaml/coqide-server/protocol/interface.cmi
/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.cma
/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxa
/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxs
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmi
/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.cmi
/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.cmi
/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.cmi
/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.cmi
/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.cmi
/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, Mon Jun 23 06:20:09 2025