# Generated by abuild 3.17.0-r1
# using fakeroot version 1.37.2
pkgname = coqide-server
pkgver = 9.1.1-r3
pkgdesc = Formal proof management system (XML protocol server)
url = https://rocq-prover.org/
builddate = 1781698320
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 22569249
arch = aarch64
origin = rocq
commit = 41bb837115def58044be4c0c713722592214f614
maintainer = Wen Heping <wenhepingalpine@sohu.com>
license = LGPL-2.1-or-later
replaces = coq
depend = rocq=9.1.1-r3
# automatically detected:
provides = cmd:coqidetop=9.1.1-r3
provides = ocaml4-impl:Document:c2518987df00deaf284648bc6e9ddfb0=9.1.1-r3
provides = ocaml4-impl:Richpp:bf0dcd41a024ec7551a08ba2c87fbc2d=9.1.1-r3
provides = ocaml4-impl:Serialize:be88445f497a1cb6d3b53e5cf63cf6cf=9.1.1-r3
provides = ocaml4-impl:Xml_lexer:ad85abbab9c4215f1b5b91367a31e3b4=9.1.1-r3
provides = ocaml4-impl:Xml_parser:01b7f9a0ec58ba1ac3efb2039b3b8d32=9.1.1-r3
provides = ocaml4-impl:Xml_printer:75e3cb55eb247a968506a646ad63fe21=9.1.1-r3
provides = ocaml4-impl:Xmlprotocol:fda5efc9fec18461cc67fafbecb5b7b4=9.1.1-r3
provides = ocaml4-intf:Document:7064f971147cc20c5933122a1f32051f=9.1.1-r3
provides = ocaml4-intf:Interface:0979213f27785a3ddb3a64173b0256a0=9.1.1-r3
provides = ocaml4-intf:Richpp:b59f9eb79f305cf38f2291a46806f038=9.1.1-r3
provides = ocaml4-intf:Serialize:6a24414d7b0c7f4c08673c101e21404f=9.1.1-r3
provides = ocaml4-intf:Xml_lexer:161918ca2cff3461f6723cdbafa2b0bd=9.1.1-r3
provides = ocaml4-intf:Xml_parser:3246e0199a66baaa01992dc470cbaf65=9.1.1-r3
provides = ocaml4-intf:Xml_printer:ecae4e4a7458a97b36588262d7b55281=9.1.1-r3
provides = ocaml4-intf:Xmlprotocol:12002125e662d109e0a9a0a5a58dd41e=9.1.1-r3
depend = ocaml4-impl:CArray:1482d6c4f0c2cf6b44e4d470ddb97d2d
depend = ocaml4-impl:CList:b1a26f8ad1af5ebde41cb1265d0c027e
depend = ocaml4-impl:CString:d61d975ae0deefd7327ebe7e3a8344be
depend = ocaml4-impl:CamlinternalOO:ccf414a99ba8bd5ba333233b355df4b9
depend = ocaml4-impl:Exninfo:987c9c044b3ba04d2481b7b5d346187f
depend = ocaml4-impl:Option:f6729b66990179300130158dc537ae7a
depend = ocaml4-impl:Pp:02c2f336124da0cd20da7b4895d60e69
depend = ocaml4-impl:Stateid:90a3c2981288bc0cbed86f3743494a7c
depend = ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996
depend = ocaml4-impl:Stdlib__Buffer:351bbcd723fb0bb6210a31e971e57df9
depend = ocaml4-impl:Stdlib__Format:4eb26b454f876b6c736f035ca734474c
depend = ocaml4-impl:Stdlib__Hashtbl:07838c94604e3f76fe2870023c054c2e
depend = ocaml4-impl:Stdlib__Lexing:1eeedd17952344279af7e359017ef646
depend = ocaml4-impl:Stdlib__List:3312a7ef7979b9ba637b596a2ee4aaaf
depend = ocaml4-impl:Stdlib__Printf:8c5702c36eb72935ca7ad73bd0e5393b
depend = ocaml4-impl:Stdlib__Stack:e37f29979ec2086a2b75e0e001e1b096
depend = ocaml4-impl:Stdlib__String:8d53b0cfbde7753f22f165fc12cfa061
depend = ocaml4-impl:Util:ada401da239c0a99cb64da5b268f499f
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 = 9c644155b0c7a6c8e6957ca46d54128d01c3ab910d2aea5d82994f387b601d32
