minisat_1:2.2.1-5+b3_amd64

Details

Artifact minisat_1:2.2.1-5+b3_amd64
Category debian:binary-package
Metadata
architecture: amd64
component: main
package: minisat
priority: optional
section: science
srcpkg_name: minisat2
srcpkg_version: 1:2.2.1-5
version: 1:2.2.1-5+b3
bookworm System _system 5 months, 4 weeks ago
BETA