Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

Package Usage : deb : ubuntu/libflint-dev

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

Total dependents: 13
Total downloads: 164,829

More details on packages.ecosyste.ms - JSON

dealii/dealii v9.5.0-jammy

Deal.II Library, with support for all external libraries.

  • version: 2.8.4-2build1, 2.5.2-21build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 158,370 downloads - 863 dependencies
seahorn/crab_apron bionic

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

  • version: 2.5.2-17build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-18.04
Latest release: almost 2 years ago - 2,033 downloads - 550 dependencies
firefart/dockerctf latest

  • version: 2.9.0-5
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-23.10
Latest release: over 1 year ago - 1,803 downloads - 6,018 dependencies
seahorn/crab_elina nightly

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

  • version: 2.5.2-17build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-18.04
Latest release: 11 months ago - 1,468 downloads - 550 dependencies
seahorn/crab nightly

Crab

  • version: 2.5.2-17build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-18.04
Latest release: about 1 year ago - 290 downloads - 550 dependencies
seahorn/buildpack-deps-crab jammy

Docker image for Crab dependencies

  • version: 2.8.4-2build1, 2.5.2-17build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-22.04
Latest release: about 1 year ago - 477 downloads - 504 dependencies
gesiscss/binder-homalg-2dproject-2dcddinterface-746e85 bd51a308116bf8519c7e15419b026c1ab796a4ae

  • version: 2.5.2-17build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-18.04
Latest release: about 4 years ago - 44 downloads - 1,629 dependencies
gesiscss/binder-pedritomelenas-2dsoftware-2dmatematicas-2dgap-a89fa5 ea17a66cceadf8a631d70748aacf0854b4b02dc2

  • version: 2.5.2-17build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-18.04
Latest release: about 4 years ago - 36 downloads - 1,633 dependencies
exadg/exadg master-focal

Docker for ExaDG library, built on top of dealii-docker

  • version: 2.5.2-21build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-20.04
Latest release: over 1 year ago - 117 downloads - 829 dependencies
gesiscss/binder-r2d-g5b5b759-gpfeiffer-2dorbit-2dnotebooks-999934 a2237c062b0c39762e2bf4fbecb4d4edfcd869d1

  • version: 2.5.2-17build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-18.04
Latest release: over 1 year ago - 21 downloads - 1,558 dependencies
gesiscss/binder-r2d-g5b5b759-rvf0068-2dlas40-74ab67 60b1f846fe8ee66f6a0b1816df485abb9ad31532

  • version: 2.5.2-17build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-18.04
Latest release: over 1 year ago - 9 downloads - 1,575 dependencies
karahoi/moon latest-2023-11-25

  • version: 2.8.4-2build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-22.04
Latest release: about 1 year ago - 138 downloads - 6,081 dependencies
mattulbrich/ikos3.1 0.2

  • version: 2.8.4-2build1
  • arch: amd64
  • upstream: flint
  • distro: ubuntu-22.04
Latest release: over 1 year ago - 23 downloads - 284 dependencies