# 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 = Unknown
size = 21886417
arch = ppc64
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:7ad8482e37b0174d0bbe4543c33770da=9.1.1-r3
provides = ocaml4-impl:Richpp:a9cacedb1463bf0b674ca676a5c8286c=9.1.1-r3
provides = ocaml4-impl:Serialize:5bd84d1542f2b2c721671509801d798e=9.1.1-r3
provides = ocaml4-impl:Xml_lexer:abe69669354eafc41186f3d98bb98866=9.1.1-r3
provides = ocaml4-impl:Xml_parser:4b0f83699daf073a6a1afa8763dfb402=9.1.1-r3
provides = ocaml4-impl:Xml_printer:e50d10a9826716a1b1caa2fd536ba926=9.1.1-r3
provides = ocaml4-impl:Xmlprotocol:e6f63a58c3e100ea3f90b3d3a63759a5=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:686e547a76dcb753f0db865b2f616fbd
depend = ocaml4-impl:CList:d4b5d2bd822a3e0f9ce90639844dfad6
depend = ocaml4-impl:CString:3319aab42ff4dacb411ab036dedf37d7
depend = ocaml4-impl:CamlinternalOO:46ddc9973420a92263024b0549202b6d
depend = ocaml4-impl:Exninfo:3f58fa86c214c8fe0993b3ebe14b1d3a
depend = ocaml4-impl:Option:f6729b66990179300130158dc537ae7a
depend = ocaml4-impl:Pp:0ff3af961e0bc811784f107fa2e6c71e
depend = ocaml4-impl:Stateid:867e3f9ea34e972b0baf526f1bff7554
depend = ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996
depend = ocaml4-impl:Stdlib__Buffer:e6fad0fc187f7b44db9d0b18730cfa59
depend = ocaml4-impl:Stdlib__Format:30ad67e4d7180bac1f6f9d3c2500f917
depend = ocaml4-impl:Stdlib__Hashtbl:f480bec048084cf2ed47eb816cd935ca
depend = ocaml4-impl:Stdlib__Lexing:87e9cd1f58a6c3c372c4bb4aca641cc8
depend = ocaml4-impl:Stdlib__List:0283fb72cc3b37e177bc13f61504ea87
depend = ocaml4-impl:Stdlib__Printf:a62e17b5ee19dc8dc02850a4e6044f1a
depend = ocaml4-impl:Stdlib__Stack:36c0bfc7bd421c0f6c4131a65deef00e
depend = ocaml4-impl:Stdlib__String:f651c39dd6d775e70efe00cf471a1ada
depend = ocaml4-impl:Util:bc242fcce8a573b2c4eff1cfc972c579
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-ppc64.so.1
depend = so:libgmp.so.10
datahash = 9d0ec5ea1156955bdcf89e1969c5e814aa0857975e0610d16f49580c81af2e0a
