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
Showing first 100 dependents
More details on packages.ecosyste.ms - JSON
vanessa/penrose 3446e147f9
development docker container for penrose
- version: 1:2.2.1-5
- arch: amd64
- upstream: minisat2
- distro: ubuntu-16.04
hasura/taskq-stack-build latest
- version: 1:2.2.1-5
- arch: amd64
- upstream: minisat2
- distro: ubuntu-16.04
leeleo3x/klee latest
- version: 1:2.2.1-5build2
- arch: amd64
- upstream: minisat2
- distro: ubuntu-20.04
guannanwei/gensym icse23
- version: 1:2.2.1-5build2
- arch: amd64
- upstream: minisat2
- distro: ubuntu-20.04
tozd/etherpad latest
Etherpad Docker image.
- version: 1:2.2.1-5build2
- arch: amd64
- upstream: minisat2
- distro: ubuntu-20.04
fpco/stack-build lts-22
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
hasura/stack-build lts-13.20
- version: 1:2.2.1-5
- arch: amd64
- upstream: minisat2
- distro: ubuntu-16.04
santosh28/my-docker-images latest
- version: 1:2.2.1-5build2
- arch: amd64
- upstream: minisat2
- distro: ubuntu-22.04