{"name":"seahorn/verify-openzeppelin","last_synced_at":"2026-08-27T07:00:23.167Z","versions_count":1,"latest_release_published_at":"2021-09-16T00:53:17.073Z","latest_release_number":"anise","created_at":"2023-04-02T22:52:05.465Z","updated_at":"2026-08-27T07:00:23.168Z","has_sbom":true,"dependencies_count":1251,"description":"","downloads":98,"repository_url":null,"url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fverify-openzeppelin","versions_url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fverify-openzeppelin/versions"}