ubuntu/+source/picosat:ubuntu/focal-devel
Last commit made on
2019-08-20
- Get this branch:
-
git clone
-b ubuntu/focal-devel
https://git.launchpad.net/ubuntu/+source/picosat
Members of
git-ubuntu import
can upload to this branch.
Log in for directions.
Branch merges
Branch information
- Name:
- ubuntu/focal-devel
- Repository:
- lp:ubuntu/+source/picosat
Recent commits
- 344a878... by Andreas Tille
- 0adf550... by Michael Tautschnig
- 1704026... by Michael Tautschnig
- 3919c6c... by Michael Tautschnig
- d3cd4fe... by Michael Tautschnig
- 1d50967... by Michael Tautschnig
- 75e007e... by Michael Tautschnig
- 64bdd7d... by Michael Tautschnig
- d834b62... by Michael Tautschnig
- 16f4ee4... by Michael Tautschnig