{"name":"seahorn/clam-llvm10","last_synced_at":"2026-05-31T10:00:54.617Z","versions_count":1,"latest_release_published_at":"2022-11-06T01:19:10.837Z","latest_release_number":"nightly","created_at":"2023-03-19T22:30:17.592Z","updated_at":"2026-05-31T10:00:54.617Z","has_sbom":true,"dependencies_count":584,"description":"Static Analysis based on Abstract Interpretation for LLVM 10 ","downloads":1311,"repository_url":null,"url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fclam-llvm10","versions_url":"https://docker.ecosyste.ms/api/v1/packages/seahorn%2Fclam-llvm10/versions"}