Source package minisat2/1:2.2.1-5 in amber @ pureos

minisat2 - 1:2.2.1-5 main

Versions in amber: 1:2.2.1-5
Maintainer: Michael Tautschnig <mt [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 3.9.5
Architectures: any

Homepage Build Jobs VCS Browser

Owned Binaries

minisat amd64 arm64
minisat2 amd64 arm64

Build Dependencies

debhelper (>= 9)
libz-dev

Files

Filename	Size	Checksum (SHA256)
minisat2_2.2.1-5.dsc	1.9 kB	`fe24f45d00dda1c04089c60711d64d155ed3e6d0172a65aff6df5f39e8f7299a`
minisat2_2.2.1.orig.tar.gz	44.2 kB	`e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40`
minisat2_2.2.1-5.debian.tar.xz	9.3 kB	`569d2e327a231e16cec180db6016345ca626d803746936dcf4bb82fc738ad9a4`