Dependencies
Provides
-
coq-ide-server
= 8.16.1-1.mga9
-
coq-ide-server(x86-32)
= 8.16.1-1.mga9
-
ocaml(Document)
= a5be04309c1738733e85663eb497fceb
-
ocaml(Interface)
= b2c1692836b15aab87ca826474284875
-
ocaml(Richpp)
= 1bcebc1f984a3fc84cb0aea868ac1863
-
ocaml(Serialize)
= 0675dc175d584c8b04f8d8ba2ee291e1
-
ocaml(Xml_lexer)
= 72d73bb411d5a1afbf240bf7446e7411
-
ocaml(Xml_parser)
= e265e2c1b0714dac5cdd384f1856d645
-
ocaml(Xml_printer)
= d6f68614d3b68150f821cdea833e4a11
-
ocaml(Xmlprotocol)
= 34a536be156f60b4aeff534d34555a2d
-
ocamlx(Document)
= 7a62ddd5cffe81309c2db960b4129d7c
-
ocamlx(Interface)
= b69ed894d18bc13fb840c79e4ebc3d86
-
ocamlx(Richpp)
= 3075ebe6f36c4a4ce1fbdf90938d21f8
-
ocamlx(Serialize)
= 22f634dff27b06324c839a70ebb3572b
-
ocamlx(Xml_lexer)
= f610e3d9297e9e906c730167c30ffd95
-
ocamlx(Xml_parser)
= b889c57180fa2c96fb98f7200a040248
-
ocamlx(Xml_printer)
= e887ade30ec6a7f4af7857e3d80582fd
-
ocamlx(Xmlprotocol)
= 8e6c6a0838685951a817d6b28bf357cc
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