{"name":"seahorn/smartace","last_synced_at":"2026-06-06T06:01:04.388Z","versions_count":1,"latest_release_published_at":"2021-09-14T01:38:07.807Z","latest_release_number":"baijiu","created_at":"2023-03-31T16:23:18.713Z","updated_at":"2026-06-06T06:01:04.388Z","has_sbom":true,"dependencies_count":607,"description":"","downloads":211,"repository_url":null,"url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fsmartace","versions_url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fsmartace/versions"}