SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

coq-ide-server rpm build for : Mageia 9. For other distributions click coq-ide-server.

Name : coq-ide-server
Version : 8.16.1 Vendor : Mageia_Org
Release : 1.mga9 Date : 2023-01-07 18:13:19
Group : Sciences/Computer science Source RPM : coq-8.16.1-1.mga9.src.rpm
Size : 2.61 MB
Packager : papoteur < papoteur>
Summary : The coqidetop language server
Description :
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.

RPM found in directory: /vol/rzm3/linux-mageia/distrib/9/i586/media/core/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  coq-ide-server-8.16.1-1.mga9.i586.rpm
     Search for other platforms
coq-ide-server-8.16.1-1.mga9.sparc.rpm
coq-ide-server-8.16.1-1.mga9.alpha.rpm
coq-ide-server-8.16.1-1.mga9.ppc.rpm
coq-ide-server-8.16.1-1.mga9.ia64.rpm
coq-ide-server-8.16.1-1.mga9.s390.rpm

Provides :
coq-ide-server
coq-ide-server(x86-32)
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) = bb3d522c40d07811f51fb113d846356d
ocamlx(CString) = 5820acde18bc0ee780b1694b0edb086b
ocamlx(CamlinternalOO) = 6c7c1b6a70d69a625985501df23b93d3
ocamlx(Exninfo) = 6670f6e481d2e7499c7997cdb98da970
ocamlx(Loc) = 84e98dc884169f77320c7b9b1883e3da
ocamlx(Option) = c3fc944bd02b87e85a9025673a1bfd4e
ocamlx(Pp) = 32bf2901c2034a300cb5ebbf09068742
ocamlx(Stateid) = 02ebf2afe5ec3c121377d972620f661c
ocamlx(Stdlib) = 9368a49701ad6a803837a9aaf468fe80
ocamlx(Stdlib__Buffer) = ed57d701aa3b59153a3e692c3d836428
ocamlx(Stdlib__Format) = 8ba5b9e3b3bfabb5929dfe90482b41db
ocamlx(Stdlib__Hashtbl) = 7dff02d0d5ab6e7d6237bd74abfef18b
ocamlx(Stdlib__Lexing) = 7d6dc7b02e62f273aa77d31c6c615bbd
ocamlx(Stdlib__List) = f0cf7c8d9e283437a5a02833ca0a0372
ocamlx(Stdlib__Printf) = d36b890ed8aa366d74aafd55046762a6
ocamlx(Stdlib__Stack) = 277a32ce0d4fcca949e2dd1955f11421
ocamlx(Stdlib__String) = 562243d8e750754ba5796bf79e659d72
ocamlx(Util) = f16c2bd9c67109da2311527772097c5f
ocamlx(Xml_lexer) = f610e3d9297e9e906c730167c30ffd95
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/52/ff3ca6193e5fcc5b6fd752e41d3ed898bec52b
/usr/lib/.build-id/82
/usr/lib/.build-id/82/f6d6ac016ee5168726a650a94b91efa6fe5a96
/usr/lib/ocaml/coqide-server
/usr/lib/ocaml/coqide-server/META
/usr/lib/ocaml/coqide-server/core
/usr/lib/ocaml/coqide-server/core/core.a
/usr/lib/ocaml/coqide-server/core/core.cma
/usr/lib/ocaml/coqide-server/core/core.cmxa
/usr/lib/ocaml/coqide-server/core/core.cmxs
/usr/lib/ocaml/coqide-server/core/document.cmi
/usr/lib/ocaml/coqide-server/core/document.cmt
/usr/lib/ocaml/coqide-server/core/document.cmti
/usr/lib/ocaml/coqide-server/core/document.cmx
/usr/lib/ocaml/coqide-server/core/document.ml
/usr/lib/ocaml/coqide-server/core/document.mli
/usr/lib/ocaml/coqide-server/dune-package
/usr/lib/ocaml/coqide-server/opam
/usr/lib/ocaml/coqide-server/protocol
/usr/lib/ocaml/coqide-server/protocol/interface.cmi
/usr/lib/ocaml/coqide-server/protocol/interface.cmt
/usr/lib/ocaml/coqide-server/protocol/interface.cmx
/usr/lib/ocaml/coqide-server/protocol/interface.ml
/usr/lib/ocaml/coqide-server/protocol/protocol.a
/usr/lib/ocaml/coqide-server/protocol/protocol.cma
/usr/lib/ocaml/coqide-server/protocol/protocol.cmxa
/usr/lib/ocaml/coqide-server/protocol/protocol.cmxs
/usr/lib/ocaml/coqide-server/protocol/richpp.cmi
/usr/lib/ocaml/coqide-server/protocol/richpp.cmt
There is 36 files more in these RPM.

  
ICM