Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

seahorn/crab_apron : bionic

Crab is an Abstract Interpretation Library. This build includes Apron library.

Ubuntu 18.04.6 LTS

Latest release: almost 2 years ago - 2,033 downloads - 550 dependencies

JSON

Dependencies