{"name":"seahorn/crab","last_synced_at":"2026-05-20T02:01:31.627Z","versions_count":2,"latest_release_published_at":"2023-11-04T02:11:46.485Z","latest_release_number":"nightly","created_at":"2023-03-26T12:09:41.607Z","updated_at":"2026-05-20T02:01:31.627Z","has_sbom":true,"dependencies_count":550,"description":"Crab (https://github.com/seahorn/crab)","downloads":6965,"repository_url":null,"url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fcrab","versions_url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fcrab/versions"}