minisat+_1.0-5_amd64

Details

Artifact minisat+_1.0-5_amd64
Category debian:binary-package
Metadata
architecture: amd64
component: main
package: minisat+
priority: optional
section: science
srcpkg_name: minisat+
srcpkg_version: 1.0-5
version: 1.0-5
sid System _system 3 weeks ago
BETA