Ubuntu
agda package

ubuntu/+source/agda:applied/debian/wheezy

  1. Git
  2. lp:ubuntu/+source/agda
  3. applied/debian/wheezy
Last commit made on 2012-05-27
Get this branch:
git clone -b applied/debian/wheezy https://git.launchpad.net/ubuntu/+source/agda
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/debian/wheezy
Repository:
lp:ubuntu/+source/agda

Recent commits

e880d38... by Joachim Breitner

2.3.0.1-2 (patches applied)

Imported using git-ubuntu import.

318f12b... by Joachim Breitner

Extend mtl dependency

Gbp-Pq: extend-mtl-dependenc.

5bcc536... by Joachim Breitner

2.3.0.1-2 (patches unapplied)

Imported using git-ubuntu import.

5959b50... by Joachim Breitner

2.3.0.1-1 (patches applied)

Imported using git-ubuntu import.

9bbc4a3... by Joachim Breitner

2.3.0.1-1 (patches unapplied)

Imported using git-ubuntu import.

3d716e0... by Iain Lane

2.3.0-1 (patches applied)

Imported using git-ubuntu import.

4e79948... by Iain Lane

2.3.0-1 (patches unapplied)

Imported using git-ubuntu import.

7be3d63... by Iain Lane

2.2.10-4 (patches applied)

Imported using git-ubuntu import.

7ffacdb... by Iain Lane

2.2.10-4 (patches unapplied)

Imported using git-ubuntu import.

9d443c3... by Iain Lane

Add an alexGetByte function for alex-3.0 compatibility

Gbp-Pq: 0004-Add-an-alexGetByte-function-for-alex-3.0-compatibili.patch.