binary packages for tinq-core