{"ecosystem":"github","name":"pavpanchekha/setup-z3","dependents_count":1,"downloads_count":54,"dependencies_url":"https://docker.ecosyste.ms/api/v1/usage/github/pavpanchekha%2Fsetup-z3/dependencies"}