You can browse the source code for the development focus branch or get a copy of the branch using the command:
bzr branch lp://staging/minisat+

See all merge proposals.

minisat+ has 2 active branches owned by 1 person. There were 0 commits in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp://staging/minisat+
Series: trunk
1 Development 2009-09-11 23:34:48 UTC
6. Implementing alarm to minisat+

Author: Paulo Trezentos
Revision Date: 2009-09-11 23:34:48 UTC

Implementing alarm to minisat+

lp://staging/~paulo-trezentos/minisat+/minisat+-etch 1 Development 2009-10-09 05:28:20 UTC
7. Changing packaging configuration to n...

Author: Paulo Trezentos
Revision Date: 2009-10-08 23:32:24 UTC

Changing packaging configuration to not be dependent of debhelper 7

12 of 2 results
You can't create new branches for minisat+.