Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

Package Usage : deb : ubuntu/minisat

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

Total dependents: 8
Total downloads: 1,996,145

More details on packages.ecosyste.ms - JSON

fpco/stack-build lts-21.25

GHC, tools (stack, cabal-install, alex, etc.), and system dev libs.

  • version: 1:2.2.1-5build2
  • arch: amd64
  • upstream: minisat2
  • distro: ubuntu-22.04
Latest release: 12 months ago - 1,993,136 downloads - 2,168 dependencies
tozd/etherpad latest

Etherpad Docker image.

  • version: 1:2.2.1-5build2
  • arch: amd64
  • upstream: minisat2
  • distro: ubuntu-20.04
Latest release: about 2 years ago - 2,747 downloads - 1,544 dependencies
vanessa/penrose 3446e147f9

development docker container for penrose

  • version: 1:2.2.1-5
  • arch: amd64
  • upstream: minisat2
  • distro: ubuntu-16.04
Latest release: almost 6 years ago - 152 downloads - 2,623 dependencies
hasura/stack-build lts-13.20

  • version: 1:2.2.1-5
  • arch: amd64
  • upstream: minisat2
  • distro: ubuntu-16.04
Latest release: over 5 years ago - 54 downloads - 2,695 dependencies
hasura/taskq-stack-build latest

  • version: 1:2.2.1-5
  • arch: amd64
  • upstream: minisat2
  • distro: ubuntu-16.04
Latest release: over 6 years ago - 25 downloads - 2,586 dependencies
santosh28/my-docker-images latest

  • version: 1:2.2.1-5build2
  • arch: amd64
  • upstream: minisat2
  • distro: ubuntu-22.04
Latest release: almost 2 years ago - 7 downloads - 1,423 dependencies
leeleo3x/klee latest

  • version: 1:2.2.1-5build2
  • arch: amd64
  • upstream: minisat2
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 24 downloads - 598 dependencies
guannanwei/gensym icse23

  • version: 1:2.2.1-5build2
  • arch: amd64
  • upstream: minisat2
  • distro: ubuntu-20.04
Latest release: almost 2 years ago - 25 downloads - 970 dependencies