ubuntu/+source/alt-ergo:ubuntu/trusty-devel

Last commit made on 2013-12-23
Get this branch:
git clone -b ubuntu/trusty-devel https://git.launchpad.net/ubuntu/+source/alt-ergo
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/trusty-devel
Repository:
lp:ubuntu/+source/alt-ergo

Recent commits

8b98118... by Matthias Klose

0.95.2-1build1 (patches unapplied)

Imported using git-ubuntu import.

aefa208... by Ralf Treinen <email address hidden>

0.95.2-1 (patches unapplied)

Imported using git-ubuntu import.

e254560... by Ralf Treinen <email address hidden>

0.95.1-3 (patches unapplied)

Imported using git-ubuntu import.

742a5e7... by Ralf Treinen <email address hidden>

0.95.1-2 (patches unapplied)

Imported using git-ubuntu import.

72a148d... by Ralf Treinen <email address hidden>

0.95.1-1 (patches unapplied)

Imported using git-ubuntu import.

df17302... by Mehdi

0.94-2 (patches unapplied)

Imported using git-ubuntu import.

29e98e4... by Mehdi

0.94-1 (patches unapplied)

Imported using git-ubuntu import.

24d9a04... by Mehdi

0.93-3 (patches unapplied)

Imported using git-ubuntu import.

2cdcee8... by Mehdi

0.93-2 (patches unapplied)

Imported using git-ubuntu import.

6711b0a... by Mehdi

0.91-2 (patches unapplied)

Imported using git-ubuntu import.