ubuntu/+source/eprover:ubuntu/oneiric
Last commit made on
2011-09-16
- Get this branch:
-
git clone
-b ubuntu/oneiric
https://git.launchpad.net/ubuntu/+source/eprover
Members of
git-ubuntu import
can upload to this branch.
Log in for directions.
Branch merges
Branch information
- Name:
- ubuntu/oneiric
- Repository:
- lp:ubuntu/+source/eprover
Recent commits
- 3a56e1e... by Daniel T Chen
- f91ada0... by Andrea Gasparini
- 40b64ca... by Petr Pudlak <email address hidden>