abi_version=1.7.0
compiler_version=1.7.10
metadata_version=1.4.1
unique_name=microkit-java-server-sdk_commonMain
