{"name":"seahorn/crab_elina","last_synced_at":"2026-08-15T12:00:59.467Z","versions_count":2,"latest_release_published_at":"2023-12-22T01:49:43.777Z","latest_release_number":"nightly","created_at":"2023-03-19T19:00:18.940Z","updated_at":"2026-08-15T12:00:59.467Z","has_sbom":true,"dependencies_count":550,"description":"Crab is an Abstract Interpretation library. This build includes Elina library","downloads":7657,"repository_url":null,"url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fcrab_elina","versions_url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fcrab_elina/versions"}