Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

seahorn/crab_elina

Crab is an Abstract Interpretation library. This build includes Elina library

Latest release: 11 months ago - 1,468 downloads - 550 dependencies

More details on packages.ecosyste.ms - JSON

Versions

nightly

Ubuntu 18.04.6 LTS

Published: 11 months ago Last synced: 10 months ago
bionic

Ubuntu 18.04.6 LTS

Published: almost 2 years ago Last synced: about 1 year ago