libcoin80 binary: embedded-library
