{"name":"seahorn/crab_apron","last_synced_at":"2026-05-27T11:01:56.677Z","versions_count":1,"latest_release_published_at":"2022-11-27T03:07:12.693Z","latest_release_number":"bionic","created_at":"2023-03-19T11:00:38.084Z","updated_at":"2026-05-27T11:01:56.679Z","has_sbom":true,"dependencies_count":550,"description":"Crab is an Abstract Interpretation Library. This build includes Apron library.","downloads":2039,"repository_url":null,"url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fcrab_apron","versions_url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fcrab_apron/versions"}