# Generated by abuild 3.16.0_rc4-r0
# using fakeroot version 1.37.1.2
pkgname = coqide-server
pkgver = 9.0.0-r1
pkgdesc = Formal proof management system (XML protocol server)
url = https://rocq-prover.org/
builddate = 1761366694
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 19629076
arch = x86_64
origin = rocq
commit = 783634c1ed26a6a6949ab92942c7a02ab3c2eddf
maintainer = Celeste <cielesti@protonmail.com>
license = LGPL-2.1-or-later
replaces = coq
depend = rocq=9.0.0-r1
# automatically detected:
provides = cmd:coqidetop=9.0.0-r1
provides = ocaml4-impl:Document:418314e333000cae6969b4b53ea3bfeb=9.0.0-r1
provides = ocaml4-impl:Richpp:ed801b3353a9d8a0ab025ea388147981=9.0.0-r1
provides = ocaml4-impl:Serialize:b5c309146c26a0173a835fef66783ba8=9.0.0-r1
provides = ocaml4-impl:Xml_lexer:142313406e07004a164cb87a66a15d3c=9.0.0-r1
provides = ocaml4-impl:Xml_parser:47250c392212e52da454bbcb30ac9f3f=9.0.0-r1
provides = ocaml4-impl:Xml_printer:a1ea4bdc177128de848e94573d2321f4=9.0.0-r1
provides = ocaml4-impl:Xmlprotocol:c90ca654f6df6bb9ff8f375e4a103b60=9.0.0-r1
provides = ocaml4-intf:Document:6228df363e520b57cbb6f1aa50932828=9.0.0-r1
provides = ocaml4-intf:Interface:79f370d37dd7981b3276a4014fc2ab69=9.0.0-r1
provides = ocaml4-intf:Richpp:82f4fba47488d7a1e475cc7887ecf471=9.0.0-r1
provides = ocaml4-intf:Serialize:6a24414d7b0c7f4c08673c101e21404f=9.0.0-r1
provides = ocaml4-intf:Xml_lexer:161918ca2cff3461f6723cdbafa2b0bd=9.0.0-r1
provides = ocaml4-intf:Xml_parser:3246e0199a66baaa01992dc470cbaf65=9.0.0-r1
provides = ocaml4-intf:Xml_printer:ecae4e4a7458a97b36588262d7b55281=9.0.0-r1
provides = ocaml4-intf:Xmlprotocol:96ee5062b42149bea35bb314c8b21a7f=9.0.0-r1
depend = ocaml4-impl:CList:fbbc0de40c5863dab16c98cbde2b4c1b
depend = ocaml4-impl:CString:9dab4a7ab68ef7a477226ea7c3b8d5e1
depend = ocaml4-impl:CamlinternalOO:2e53d855743d2c0d90ad7fb1f1bbb7d0
depend = ocaml4-impl:Exninfo:2b917250068232c890718727c7af3d3c
depend = ocaml4-impl:Option:f6729b66990179300130158dc537ae7a
depend = ocaml4-impl:Pp:8f1f02f42044efdafee4394418310f92
depend = ocaml4-impl:Stateid:4d5b3260bcdab8838631c97d1a45249b
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:8c061c5bb300a3738033e52319630ba6
depend = ocaml4-intf:CArray:52805ea537a45eb7b2fe1ac21da721ef
depend = ocaml4-intf:CList:74ed3440e44051dc92c15b4c7d656688
depend = ocaml4-intf:CMap:f8064b9fea3ad74c91f3398eda8ef331
depend = ocaml4-intf:CSet:b39c35750f5a0824845c8b66295078e6
depend = ocaml4-intf:CSig:e66402ac3f4b81a022b2de9eed52e53b
depend = ocaml4-intf:CString:b957af5576d4744b3a37364adbae300f
depend = ocaml4-intf:CamlinternalFormatBasics:8f8f634558798ee408df3c50a5539b15
depend = ocaml4-intf:CamlinternalOO:aea913efb75d4b8c0600eeba0222f7d8
depend = ocaml4-intf:Exninfo:05f15e3d92bfba910269ee465c7bfa2b
depend = ocaml4-intf:Feedback:0dfe67af7fc35e8d034101043d071b04
depend = ocaml4-intf:Hashcons:04171b8e413a80692dcbea1031ff4542
depend = ocaml4-intf:Hashset:b5af2da2ba0f0aa4ffcd46fea97b6074
depend = ocaml4-intf:Loc:e377ab5826d3454b40d098a27b4aae74
depend = ocaml4-intf:Option:326b25c18947c173d6727f2f3bc5fb03
depend = ocaml4-intf:Pp:0b74d6a96733ebb5cca9cbd0d8f8fb2e
depend = ocaml4-intf:Predicate:e10f527c1e68b4fcf4187c345bdd22e5
depend = ocaml4-intf:Quickfix:1c37480b7834a1825bc66fd72ce77b28
depend = ocaml4-intf:Stateid:5d0095240514333965cadee978284a8a
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:0076f84c702a20924765095d1bc68ce4
depend = ocaml4-intf:Xml_datatype:e419aae791e14a9e40ee634429531000
depend = so:libc.musl-x86_64.so.1
depend = so:libgmp.so.10
datahash = eb7f73dbff209b643fa16d8adfebe4d0c7b9de480c34172a0b3434862edaef19
