Publishing details

• Published on 2010-06-15

Changelog

minisat (1.14-1ubuntu1) lucid; urgency=low

  * Changed distribution from "unstable" to "lucid"
 -- Corneliu-Claudiu Prodescu <email address hidden>   Tue, 15 Jun 2010 10:41:10 +0000

Builds

• amd64
• i386

Built packages

• minisat Fast and lightweight SAT solver

Package files

• minisat_1.14-1ubuntu1.diff.gz (2.0 KiB)
• minisat_1.14-1ubuntu1.dsc (1.3 KiB)
• minisat_1.14-1ubuntu1_amd64.deb (23.3 KiB)
• minisat_1.14-1ubuntu1_i386.deb (22.4 KiB)
• minisat_1.14.orig.tar.gz (20.8 KiB)