Data

Tools

Indexes

Applications

Experiments

Docker

An open API service providing dependency metadata for docker images.

Package Usage : deb : ubuntu/libntl35

Explore the latest package usage data for ubuntu/libntl35 in the deb ecosystem, including detailed information on package dependencies and their usage.

Total dependents: 9
Total downloads: 4,401
Showing first 100 dependents

More details on packages.ecosyste.ms - JSON

gesiscss/binder-r2d-g5b5b759-gpfeiffer-2dorbit-2dnotebooks-999934 ba485101ee4e65f1249f1ff35b0f5a2313370701

  • version: 10.5.0-2
  • arch: amd64
  • upstream: ntl
  • distro: ubuntu-18.04
Latest release: about 2 years ago - 122 downloads - 1,558 dependencies
gesiscss/binder-r2d-g5b5b759-rvf0068-2dlas40-74ab67 60b1f846fe8ee66f6a0b1816df485abb9ad31532

  • version: 10.5.0-2
  • arch: amd64
  • upstream: ntl
  • distro: ubuntu-18.04
Latest release: about 3 years ago - 20 downloads - 1,575 dependencies
gesiscss/binder-drl-2dsmbe-2dsge-2d2019-18d38a 3ee6ff039971f2a4a02b12fed4e07f45e143a493

  • version: 10.5.0-2
  • arch: amd64
  • upstream: ntl
  • distro: ubuntu-18.04
Latest release: over 6 years ago - 38 downloads - 1,613 dependencies
seahorn/crab_apron bionic

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

  • version: 10.5.0-2
  • arch: amd64
  • upstream: ntl
  • distro: ubuntu-18.04
Latest release: over 3 years ago - 2,039 downloads - 550 dependencies
seahorn/crab_elina nightly

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

  • version: 10.5.0-2
  • arch: amd64
  • upstream: ntl
  • distro: ubuntu-18.04
Latest release: over 2 years ago - 4,880 downloads - 550 dependencies
seahorn/buildpack-deps-crab jammy

Docker image for Crab dependencies

  • version: 10.5.0-2
  • arch: amd64
  • upstream: ntl
  • distro: ubuntu-18.04
Latest release: over 2 years ago - 1,492 downloads - 504 dependencies
gesiscss/binder-homalg-2dproject-2dcddinterface-746e85 bd51a308116bf8519c7e15419b026c1ab796a4ae

  • version: 10.5.0-2
  • arch: amd64
  • upstream: ntl
  • distro: ubuntu-18.04
Latest release: over 5 years ago - 102 downloads - 1,629 dependencies
seahorn/crab nightly

Crab (https://github.com/seahorn/crab)

  • version: 10.5.0-2
  • arch: amd64
  • upstream: ntl
  • distro: ubuntu-18.04
Latest release: over 2 years ago - 6,965 downloads - 550 dependencies
gesiscss/binder-pedritomelenas-2dsoftware-2dmatematicas-2dgap-a89fa5 ea17a66cceadf8a631d70748aacf0854b4b02dc2

  • version: 10.5.0-2
  • arch: amd64
  • upstream: ntl
  • distro: ubuntu-18.04
Latest release: over 5 years ago - 83 downloads - 1,633 dependencies