# Generated by abuild 3.17.0_rc1-r2
# using fakeroot version 1.37.2
pkgname = coqide-server
pkgver = 9.1.1-r1
pkgdesc = Formal proof management system (XML protocol server)
url = https://rocq-prover.org/
builddate = 1776982474
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 22569169
arch = aarch64
origin = rocq
commit = 818a982f4d3a65747d000dc3779f6051797d412a
maintainer = Wen Heping <wenhepingalpine@sohu.com>
license = LGPL-2.1-or-later
replaces = coq
depend = rocq=9.1.1-r1
# automatically detected:
provides = cmd:coqidetop=9.1.1-r1
provides = ocaml4-impl:Document:1a0e68b95c2e8c66b3ec9cf8b2571ca3=9.1.1-r1
provides = ocaml4-impl:Richpp:501e934ffe47c050da30c354ae4e0323=9.1.1-r1
provides = ocaml4-impl:Serialize:e8e2bc6c0e709ffb2c589d81d7617c79=9.1.1-r1
provides = ocaml4-impl:Xml_lexer:e3864cf1da4ec21775099452df2f2859=9.1.1-r1
provides = ocaml4-impl:Xml_parser:005c2340bb2b26a15b26ad13db79df56=9.1.1-r1
provides = ocaml4-impl:Xml_printer:3c501ac67be57f939373afbf3f8461d7=9.1.1-r1
provides = ocaml4-impl:Xmlprotocol:e72370059c7b4ef6c9fea63c6f64ce02=9.1.1-r1
provides = ocaml4-intf:Document:7064f971147cc20c5933122a1f32051f=9.1.1-r1
provides = ocaml4-intf:Interface:0979213f27785a3ddb3a64173b0256a0=9.1.1-r1
provides = ocaml4-intf:Richpp:b59f9eb79f305cf38f2291a46806f038=9.1.1-r1
provides = ocaml4-intf:Serialize:6a24414d7b0c7f4c08673c101e21404f=9.1.1-r1
provides = ocaml4-intf:Xml_lexer:161918ca2cff3461f6723cdbafa2b0bd=9.1.1-r1
provides = ocaml4-intf:Xml_parser:3246e0199a66baaa01992dc470cbaf65=9.1.1-r1
provides = ocaml4-intf:Xml_printer:ecae4e4a7458a97b36588262d7b55281=9.1.1-r1
provides = ocaml4-intf:Xmlprotocol:12002125e662d109e0a9a0a5a58dd41e=9.1.1-r1
depend = ocaml4-impl:CArray:b51446e7dbb24540e744624d178ecabd
depend = ocaml4-impl:CList:f918684be9fccc7cb9c56a3ab62a3a28
depend = ocaml4-impl:CString:c9d68f0e3c6676fd0d89fd1a64563725
depend = ocaml4-impl:CamlinternalOO:fa605900a545d2c7d0b3ab2f0fc283ad
depend = ocaml4-impl:Exninfo:9c36f3b10f6a007072922c9b5d998ab9
depend = ocaml4-impl:Option:f6729b66990179300130158dc537ae7a
depend = ocaml4-impl:Pp:4ce146a1e8a77db40f8fe9180861a7ef
depend = ocaml4-impl:Stateid:c4c12ff84082805588f75abca920141b
depend = ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996
depend = ocaml4-impl:Stdlib__Buffer:9055036c51b5c5e4341a0ccd9c07399d
depend = ocaml4-impl:Stdlib__Format:1ae9a84fc6a9350aa686a13e382d57b9
depend = ocaml4-impl:Stdlib__Hashtbl:e153916d440c057ce7feaef7b0cbefe6
depend = ocaml4-impl:Stdlib__Lexing:8011f6267e2f35dd099d9a8b860d4d70
depend = ocaml4-impl:Stdlib__List:96739346463401c89777aa313f73a9ac
depend = ocaml4-impl:Stdlib__Printf:d3533c749142b93fd2fa6d8f52ab80e3
depend = ocaml4-impl:Stdlib__Stack:3cfa83cf2d469a21022f9fa22d11617a
depend = ocaml4-impl:Stdlib__String:b7902f521c803b6ed83b467bef8c73ba
depend = ocaml4-impl:Util:ad60313dc9b9ba7b433a525d6a16be28
depend = ocaml4-intf:CArray:f410c2618f34ce325f49dd835055c3a3
depend = ocaml4-intf:CList:ac8cc33bc430fb16d900a7f9104caccb
depend = ocaml4-intf:CMap:05b3d45d5cf3b9c2f52936c07a41077b
depend = ocaml4-intf:CSet:1771d218a5ec2cd793dcdcf364b93957
depend = ocaml4-intf:CSig:cef32a5f22e2a30825d57c3726228dde
depend = ocaml4-intf:CString:5716323e7d11d6503cbf81bedc978991
depend = ocaml4-intf:CamlinternalFormatBasics:8f8f634558798ee408df3c50a5539b15
depend = ocaml4-intf:CamlinternalOO:aea913efb75d4b8c0600eeba0222f7d8
depend = ocaml4-intf:Exninfo:05f15e3d92bfba910269ee465c7bfa2b
depend = ocaml4-intf:Feedback:91fff25d386e62b0d2321ee423dd1b9b
depend = ocaml4-intf:Hashcons:a4b8214224054c2dc32c7ab8cb34b92e
depend = ocaml4-intf:Hashset:b5af2da2ba0f0aa4ffcd46fea97b6074
depend = ocaml4-intf:Loc:3ae8b567bc8a3dea1e01821cfe45a4d5
depend = ocaml4-intf:Option:326b25c18947c173d6727f2f3bc5fb03
depend = ocaml4-intf:Pp:7daccc9e0669e611fa7fb762b58ff63a
depend = ocaml4-intf:Predicate:e10f527c1e68b4fcf4187c345bdd22e5
depend = ocaml4-intf:Quickfix:26fc480f449decafe20123b20a7c81ce
depend = ocaml4-intf:Stateid:d3466c24ca4333134ab0ff8b161e3c4e
depend = ocaml4-intf:Stdlib:79b0e9d3b6f7fed07eb3cc2abb961b91
depend = ocaml4-intf:Stdlib__Array:622d88fad859d0d0f019e691fc4fa865
depend = ocaml4-intf:Stdlib__Buffer:4b09c9a6d0622bbf5a3829234b481822
depend = ocaml4-intf:Stdlib__Either:26845df28d19584687a38a1ab814c3f9
depend = ocaml4-intf:Stdlib__Format:b6edb97b685819e873481fe05723c8bc
depend = ocaml4-intf:Stdlib__Hashtbl:34c0fdd524bf2a75e4d5af64a6d34401
depend = ocaml4-intf:Stdlib__Int32:a71ea5238030770647165f659f80b1ab
depend = ocaml4-intf:Stdlib__Int64:0fa5587c47baf16a06837c7dedfc2518
depend = ocaml4-intf:Stdlib__Lexing:c9318c276ac7e383fd682c2dd06be434
depend = ocaml4-intf:Stdlib__List:ee222542f6f8195441543b8b399b64b9
depend = ocaml4-intf:Stdlib__Map:978f82916b5a172c11d2b72719d85680
depend = ocaml4-intf:Stdlib__Obj:25794d29f7f4018768ea900e331a2bf3
depend = ocaml4-intf:Stdlib__Printf:bc8af6214197dc8f40eaa738a4cd6a28
depend = ocaml4-intf:Stdlib__Seq:b63511032211eae4b567ba313cd72962
depend = ocaml4-intf:Stdlib__Set:871d2ee2167ac9e7977fa13994cf4658
depend = ocaml4-intf:Stdlib__Stack:30ae8c258e7fc6fb7e6370a60256d724
depend = ocaml4-intf:Stdlib__String:4933e1d855f54bfed0231b038f0dbb87
depend = ocaml4-intf:Stdlib__Uchar:c0dde02a556a6d79e363ad365d165d57
depend = ocaml4-intf:Util:d6de0efe7a888ffe6743b98965b997e6
depend = ocaml4-intf:Xml_datatype:e419aae791e14a9e40ee634429531000
depend = so:libc.musl-aarch64.so.1
depend = so:libgmp.so.10
datahash = 1e4c511cffbeb5dd29ab9ddff9ce177598b91bf828f80ec76a4304c3b8ca3713
