coq-ide-server-8.16.1-1.mga9 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(Interface)
• ocamlx(Richpp)
• ocamlx(Serialize)
• ocamlx(Xml_lexer)
• ocamlx(Xml_parser)
• ocamlx(Xml_printer)
• ocamlx(Xmlprotocol)

Requires

• ocaml(CArray) = 3bf67d1381824155797389de8a32d728
• ocaml(CList) = a742212da585b925999bb1e9c57f8886
• ocaml(CMap) = cbcf10800400dde7f75cbc0cc6a0a739
• ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608
• ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743
• ocaml(CString) = f53fe8692b6d16ecf125c5433c67ee1d
• ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
• ocaml(CamlinternalOO) = aea913efb75d4b8c0600eeba0222f7d8
• ocaml(Exninfo) = 766d613c58c5e25783f49ff1e5b36922
• ocaml(Feedback) = b430e30282f28df06f85bc6c5a2d4f3e
• ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
• ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
• ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc
• ocaml(Option) = 7b9ac55e8491af63e4054f2b26a988dd
• ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa
• ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5
• ocaml(Stateid) = 2716c53d22d49b3691aabd4d9372d505
• ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
• ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
• ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
• ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
• ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
• ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
• ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
• ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
• ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
• ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
• ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
• ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
• ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
• ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
• ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724
• ocaml(Stdlib__Stream) = 510a78f010f6c530a911189d7538d002
• ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
• ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
• ocaml(Util) = 46a1f0249bfbf29202e10de25200d4ea
• ocaml(Xml_datatype) = e419aae791e14a9e40ee634429531000
• ocaml(Xml_lexer) = 72d73bb411d5a1afbf240bf7446e7411
• ocamlx(CList) = 8d59eb9210256be316adc1aa298f7fd3
• ocamlx(CString) = 2c83e6da57716e19b8ed3547c7af15ed
• ocamlx(CamlinternalOO) = 058cc49b692a2dd69add77baeb7dfd6d
• ocamlx(Exninfo) = cf89b09c6ac1379986d9b016943c7cac
• ocamlx(Loc) = 2c97260dd31fb8e11ad0c5e45f95bc6c
• ocamlx(Option) = 3d469b81e472024e47962f901f721f6e
• ocamlx(Pp) = 3a80561a26a756e8146e053a12c94633
• ocamlx(Stateid) = cfb111336607f6ed1098217f92ab3c85
• ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a
• ocamlx(Stdlib__Buffer) = ec734da0dbd1f4871a6e468dd99f1edb
• ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c
• ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f
• ocamlx(Stdlib__Lexing) = b92bcde89c2e887e267fc7f0ad189ee9
• ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883
• ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa
• ocamlx(Stdlib__Stack) = adbb9467e55324452b66f5e80904fd00
• ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95
• ocamlx(Util) = 19b4b81a3b0bdb1618506233bcac9410
• ocamlx(Xml_lexer) = 54dbf31d7ee83bcbb441111d5e9f902e
• 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

* Sat Jan 07 2023 papoteur <papoteur> 8.16.1-1.mga9
  + Revision: 1931087
  - Add ide-server
  - fix file list
  - new 8.16.1
  - new 8.16.0
  + neoclust <neoclust>
  - Rebuild against new ocaml
  + tv <tv>
  - Updates BRs
  - Fix install
  + pterjan <pterjan>
  - Rebuild for new ocaml-lablgtk3
* Fri May 20 2022 pterjan <pterjan> 8.13.2-3.mga9
  + Revision: 1859409
  - Rebuild for OCaml 4.14
* Fri Oct 15 2021 tv <tv> 8.13.2-2.mga9
  + Revision: 1751562
  - Rebuild for ocaml 4.13.1
* Sun Sep 05 2021 wally <wally> 8.13.2-1.mga9
  + Revision: 1744351
  - new version 8.13.2
  - drop ancient tutorial docs
* Fri Mar 26 2021 tv <tv> 8.13.1-3.mga9
  + Revision: 1710447
  - Disable doc (broken)
  - rebuild for ocaml-4.2-12
  + neoclust <neoclust>
  - Rebuild against new ocaml stack
* Mon Jan 11 2021 pterjan <pterjan> 8.11.0-4.mga8
  + Revision: 1671200
  - Exclude more private modules
  - Also exclude ocamlx requires when we exclude ocaml ones
* Sun Jan 10 2021 pterjan <pterjan> 8.11.0-2.mga8
  + Revision: 1670853
  - Rebuild to generate ocamlx provides
  + tv <tv>
  - remove one BR workaround which is now fixed

Files

/usr/lib/.build-id
/usr/lib/.build-id/39/837195dfa0511be09be9ce1f4a3c0a8c29a59f
/usr/lib/.build-id/48/327c68b334856750296523b7e1ba6ab08ca42e
/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.ml
/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.cmt
/usr/lib64/ocaml/coqide-server/protocol/interface.cmx
/usr/lib64/ocaml/coqide-server/protocol/interface.ml
/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.ml
/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.ml
/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.ml
/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.ml
/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.ml
/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.ml
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.mli
/usr/share/doc/coq/coqide-server/LICENSE
/usr/share/doc/coq/coqide-server/README.md

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Dec 26 11:51:49 2024