{"name":"seahorn/seahorn-builder","last_synced_at":"2026-07-01T08:00:44.529Z","versions_count":1,"latest_release_published_at":"2020-11-24T18:38:36.147Z","latest_release_number":"bionic-llvm10","created_at":"2023-03-26T09:52:17.109Z","updated_at":"2026-07-01T08:00:44.530Z","has_sbom":true,"dependencies_count":582,"description":"","downloads":292,"repository_url":null,"url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fseahorn-builder","versions_url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fseahorn-builder/versions"}