Ecosyste.ms: Docker
An open API service providing dependency metadata for docker images.
Package Usage : deb : ubuntu/ggcov
Explore the latest package usage data for ubuntu/ggcov in the deb ecosystem, including detailed information on package dependencies and their usage.
Total dependents: 12
Total downloads: 33,420
More details on packages.ecosyste.ms - JSON
seahorn/seahorn-llvm10 nightly
An analysis framework for LLVM 10
- version: 0.9 20190314-0ubuntu1~18.04.1
- arch: amd64
- distro: ubuntu-18.04
seahorn/seahorn-build-llvm5 xenial
Dependencies for SeaHorn LLVM 5.0
- version: 0.9-10ubuntu2
- arch: amd64
- distro: ubuntu-16.04
seahorn/crab_apron bionic
Crab is an Abstract Interpretation Library. This build includes Apron library.
- version: 0.9 20190314-0ubuntu1~18.04.1
- arch: amd64
- distro: ubuntu-18.04
seahorn/crab_elina nightly
Crab is an Abstract Interpretation library. This build includes Elina library
- version: 0.9 20190314-0ubuntu1~18.04.1
- arch: amd64
- distro: ubuntu-18.04
seahorn/clam-llvm10 nightly
Static Analysis based on Abstract Interpretation for LLVM 10
- version: 0.9 20190314-0ubuntu1~18.04.1
- arch: amd64
- distro: ubuntu-18.04
seahorn/clam_5.0 xenial
Clam for LLVM 5.0
- version: 0.9-10ubuntu2
- arch: amd64
- distro: ubuntu-16.04
seahorn/seahorn-builder bionic-llvm10
- version: 0.9 20190314-0ubuntu1~18.04.1
- arch: amd64
- distro: ubuntu-18.04
seahorn/crab nightly
Crab
- version: 0.9 20190314-0ubuntu1~18.04.1
- arch: amd64
- distro: ubuntu-18.04
seahorn/buildpack-deps-crab jammy
Docker image for Crab dependencies
- version: 0.9 20190314-0ubuntu1~18.04.1
- arch: amd64
- distro: ubuntu-18.04
seahorn/smartace baijiu
- version: 0.9 20190314-0ubuntu1~18.04.1
- arch: amd64
- distro: ubuntu-18.04
seahorn/verify-openzeppelin anise
- version: 0.9 20190314-0ubuntu1~18.04.1
- arch: amd64
- distro: ubuntu-18.04
gabrielfrasantos/embedded latest
Docker image for building and debugging embedded projects.
- version: 0.9 20190314-0ubuntu1
- arch: amd64
- distro: ubuntu-20.04