# Generated by abuild 3.16.0-r0
# using fakeroot version 1.37.2
pkgname = coqide-server
pkgver = 9.1.1-r0
pkgdesc = Formal proof management system (XML protocol server)
url = https://rocq-prover.org/
builddate = 1774425948
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 22572507
arch = aarch64
origin = rocq
commit = ae0d2a58d16d7c7755bfaa8eb23c3e736076a781
maintainer = Wen Heping <wenhepingalpine@sohu.com>
license = LGPL-2.1-or-later
replaces = coq
depend = rocq=9.1.1-r0
# automatically detected:
provides = cmd:coqidetop=9.1.1-r0
provides = ocaml4-impl:Document:4ce5ddef8849d4179198b840236cba71=9.1.1-r0
provides = ocaml4-impl:Richpp:d48852d487fb4b428f4aa64367ec172b=9.1.1-r0
provides = ocaml4-impl:Serialize:dc2be201ce86c75de64065920b7787b6=9.1.1-r0
provides = ocaml4-impl:Xml_lexer:142313406e07004a164cb87a66a15d3c=9.1.1-r0
provides = ocaml4-impl:Xml_parser:47250c392212e52da454bbcb30ac9f3f=9.1.1-r0
provides = ocaml4-impl:Xml_printer:a1ea4bdc177128de848e94573d2321f4=9.1.1-r0
provides = ocaml4-impl:Xmlprotocol:54e38c006dde044679c14130917252ea=9.1.1-r0
provides = ocaml4-intf:Document:7064f971147cc20c5933122a1f32051f=9.1.1-r0
provides = ocaml4-intf:Interface:0979213f27785a3ddb3a64173b0256a0=9.1.1-r0
provides = ocaml4-intf:Richpp:b59f9eb79f305cf38f2291a46806f038=9.1.1-r0
provides = ocaml4-intf:Serialize:6a24414d7b0c7f4c08673c101e21404f=9.1.1-r0
provides = ocaml4-intf:Xml_lexer:161918ca2cff3461f6723cdbafa2b0bd=9.1.1-r0
provides = ocaml4-intf:Xml_parser:3246e0199a66baaa01992dc470cbaf65=9.1.1-r0
provides = ocaml4-intf:Xml_printer:ecae4e4a7458a97b36588262d7b55281=9.1.1-r0
provides = ocaml4-intf:Xmlprotocol:12002125e662d109e0a9a0a5a58dd41e=9.1.1-r0
depend = ocaml4-impl:CArray:63f34c8dfba4cd870ad99633e727f772
depend = ocaml4-impl:CList:b94cbfedec7c500369ec56ba3db6f35f
depend = ocaml4-impl:CString:76a74df61257cd2047f8b8a44f52240a
depend = ocaml4-impl:CamlinternalOO:2e53d855743d2c0d90ad7fb1f1bbb7d0
depend = ocaml4-impl:Exninfo:166e960b896c6af3e327b6d88b1d36c0
depend = ocaml4-impl:Option:f6729b66990179300130158dc537ae7a
depend = ocaml4-impl:Pp:ad091d0ff096dec57b0697aff46ac3bc
depend = ocaml4-impl:Stateid:600455de9427ff79248387ab04cef2bd
depend = ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996
depend = ocaml4-impl:Stdlib__Buffer:cf57eae330bacf7e0efb32dbae46cf50
depend = ocaml4-impl:Stdlib__Format:3fc5aabf82bf4752619ecb26bfdcac24
depend = ocaml4-impl:Stdlib__Hashtbl:898b52cc6092451df01bc3a7ed405ede
depend = ocaml4-impl:Stdlib__Lexing:d054a4a6dfb4cb55a4733ce272d4623d
depend = ocaml4-impl:Stdlib__List:9fa021918ce9b6b5c0a1f584e3adf2af
depend = ocaml4-impl:Stdlib__Printf:bc4ad41fce5f3a224d4b57523576a7d7
depend = ocaml4-impl:Stdlib__Stack:fd9fbc67d946f33a7d077d345949db3d
depend = ocaml4-impl:Stdlib__String:63272e200b49ed0a15ed501695bde0a7
depend = ocaml4-impl:Util:5bf6c806653043b0fb72aca2589fb967
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 = 4cf89c56a2852dba6eaaf6b53c986e39b6c35328ea5af332d315bfcb2e6f0918
