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
Latest release: over 2 years ago - 23,676 downloads - 580 dependencies
seahorn/seahorn-build-llvm5 xenial

Dependencies for SeaHorn LLVM 5.0

  • version: 0.9-10ubuntu2
  • arch: amd64
  • distro: ubuntu-16.04
Latest release: over 5 years ago - 3,781 downloads - 517 dependencies
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
Latest release: about 2 years ago - 2,039 downloads - 550 dependencies
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
Latest release: about 1 year ago - 1,694 downloads - 550 dependencies
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
Latest release: over 2 years ago - 1,269 downloads - 584 dependencies
seahorn/clam_5.0 xenial

Clam for LLVM 5.0

  • version: 0.9-10ubuntu2
  • arch: amd64
  • distro: ubuntu-16.04
Latest release: about 4 years ago - 526 downloads - 544 dependencies
seahorn/seahorn-builder bionic-llvm10

  • version: 0.9 20190314-0ubuntu1~18.04.1
  • arch: amd64
  • distro: ubuntu-18.04
Latest release: about 4 years ago - 277 downloads - 582 dependencies
seahorn/crab nightly

Crab

  • version: 0.9 20190314-0ubuntu1~18.04.1
  • arch: amd64
  • distro: ubuntu-18.04
Latest release: over 1 year ago - 632 downloads - 550 dependencies
seahorn/buildpack-deps-crab jammy

Docker image for Crab dependencies

  • version: 0.9 20190314-0ubuntu1~18.04.1
  • arch: amd64
  • distro: ubuntu-18.04
Latest release: over 1 year ago - 955 downloads - 504 dependencies
seahorn/smartace baijiu

  • version: 0.9 20190314-0ubuntu1~18.04.1
  • arch: amd64
  • distro: ubuntu-18.04
Latest release: over 3 years ago - 72 downloads - 607 dependencies
seahorn/verify-openzeppelin anise

  • version: 0.9 20190314-0ubuntu1~18.04.1
  • arch: amd64
  • distro: ubuntu-18.04
Latest release: over 3 years ago - 37 downloads - 1,251 dependencies
gabrielfrasantos/embedded latest

Docker image for building and debugging embedded projects.

  • version: 0.9 20190314-0ubuntu1
  • arch: amd64
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 24 downloads - 665 dependencies