Ecosyste.ms: 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
More details on packages.ecosyste.ms - JSON
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
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
seahorn/crab nightly
Crab
- version: 10.5.0-2
- arch: amd64
- upstream: ntl
- distro: ubuntu-18.04
seahorn/buildpack-deps-crab jammy
Docker image for Crab dependencies
- version: 10.5.0-2
- arch: amd64
- upstream: ntl
- distro: ubuntu-18.04
gesiscss/binder-homalg-2dproject-2dcddinterface-746e85 bd51a308116bf8519c7e15419b026c1ab796a4ae
- version: 10.5.0-2
- arch: amd64
- upstream: ntl
- distro: ubuntu-18.04
gesiscss/binder-pedritomelenas-2dsoftware-2dmatematicas-2dgap-a89fa5 ea17a66cceadf8a631d70748aacf0854b4b02dc2
- version: 10.5.0-2
- arch: amd64
- upstream: ntl
- distro: ubuntu-18.04
gesiscss/binder-drl-2dsmbe-2dsge-2d2019-18d38a 3ee6ff039971f2a4a02b12fed4e07f45e143a493
- version: 10.5.0-2
- arch: amd64
- upstream: ntl
- distro: ubuntu-18.04
gesiscss/binder-r2d-g5b5b759-gpfeiffer-2dorbit-2dnotebooks-999934 a2237c062b0c39762e2bf4fbecb4d4edfcd869d1
- version: 10.5.0-2
- arch: amd64
- upstream: ntl
- distro: ubuntu-18.04
gesiscss/binder-r2d-g5b5b759-rvf0068-2dlas40-74ab67 60b1f846fe8ee66f6a0b1816df485abb9ad31532
- version: 10.5.0-2
- arch: amd64
- upstream: ntl
- distro: ubuntu-18.04