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 
 
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