Ubuntu
minisat+ package

lp:ubuntu/trusty/minisat+

  1. Trusty (14.04)
  2. trusty
Created by Ubuntu Package Importer and last modified
Get this branch:
bzr branch lp:ubuntu/trusty/minisat+
Members of Ubuntu branches can upload to this branch. Log in for directions.

Related bugs

Related blueprints

Branch information

Owner:
Ubuntu branches
Status:
Mature

Recent revisions

3. By Ralf Treinen <email address hidden>

Patch exitcode: non-null exit code on parse error.

2. By Ralf Treinen <email address hidden>

Initial package (closes: Bug#626410)

1. By Ralf Treinen <email address hidden>

Import upstream version 1.0

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:ubuntu/utopic/minisat+
This branch contains Public information 
Everyone can see this information.

Subscribers