{"ecosystem":"maven","name":"com.ogprover.main.OpenGeoProver:OpenGeoProver","dependents_count":1,"downloads_count":247,"dependencies_url":"https://docker.ecosyste.ms/api/v1/usage/maven/com.ogprover.main.OpenGeoProver:OpenGeoProver/dependencies"}