Source package minisat2/1:2.2.1-8 in landing @ pureos

minisat2 - 1:2.2.1-8 main

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

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

This package may currently be unbuildable on the following architectures:

arm64
amd64

Homepage Build Jobs

Owned Binaries

minisat amd64 arm64 arm64

Build Dependencies

debhelper-compat (= 13)
libz-dev

Files

Filename	Size	Checksum (SHA256)
minisat2_2.2.1.orig.tar.gz	44.2 kB	`e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40`
minisat2_2.2.1-8.dsc	1.7 kB	`3fdc8955b094d6835276f476d876783854944fbf27b4885feb8c9d0042b2b359`
minisat2_2.2.1-8.debian.tar.xz	9.9 kB	`f89f4f9c4ddf57bb7cdf3aa77810b9042e2aa824197ebc5bf8faa5fda5d1745d`