You can
browse the source code for the development focus branch or get a
copy of the branch
using the command:
bzr branch lp:minisat+
bzr branch lp:minisat+
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:minisat+
Series: trunk |
1 Development | 2009-09-11 23:34:48 UTC |
6.
Implementing alarm to minisat+
Author:
Paulo Trezentos
Implementing alarm to minisat+ |
|
|
lp:~paulo- |
1 Development | 2009-10-09 05:28:20 UTC |
7.
Changing packaging configuration to n...
Author:
Paulo Trezentos
Changing packaging configuration to not be dependent of debhelper 7 |
|
| 1 → 2 of 2 results | First • Previous • Next • Last |
