minisat+ - 1.0-4 main

Versions in amber: 1.0-4
Maintainer: Debian Science Maintainers <debian-science-maintainers [꩜] lists.alioth.debian.org>
Uploaders:
  • Ralf Treinen <treinen [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 3.9.8
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
minisat+_1.0-4.dsc 2.0 kB bcd43117559b74bd955ec63892c62d4ef1c7bcc1cb952d5c488150fec7985433
minisat+_1.0.orig.tar.gz 80.0 kB f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b
minisat+_1.0-4.debian.tar.xz 4.2 kB bd91de9376032c4044a42dfcf777edf482e2eeb64065a8d60df11ed8b6df70ea