Ubuntu
agda package

ubuntu/+source/agda:applied/ubuntu/oneiric-devel

  1. Git
  2. lp:ubuntu/+source/agda
  3. applied/ubuntu/oneiric-devel
Last commit made on 2011-07-09
Get this branch:
git clone -b applied/ubuntu/oneiric-devel 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/ubuntu/oneiric-devel
Repository:
lp:ubuntu/+source/agda

Recent commits

fce9fd1... by Colin Watson

2.2.10-3build1 (patches applied)

Imported using git-ubuntu import.

a34dc2e... by Colin Watson

Compatibility with syb 0.4

Gbp-Pq: 0003-Compatibility-with-syb-0.4.patch.

a2cbef6... by Colin Watson

Compatibility with src-exts 1.11

Gbp-Pq: 0002-Compatibility-with-src-exts-1.11.patch.

0a8944e... by Colin Watson

Compatibility with Alex 2.3.5 and GHC 7.0.3

Gbp-Pq: 0001-Compatibility-with-Alex-2.3.5-and-GHC-7.0.3.patch.

96a1241... by Colin Watson

2.2.10-3build1 (patches unapplied)

Imported using git-ubuntu import.

f3d99f7... by Joachim Breitner

2.2.10-3 (patches applied)

Imported using git-ubuntu import.

691a534... by Joachim Breitner

2.2.10-3 (patches unapplied)

Imported using git-ubuntu import.

c70b010... by Joachim Breitner

Compatibility with syb 0.4

Gbp-Pq: 0003-Compatibility-with-syb-0.4.patch.

d8cd509... by Joachim Breitner

Compatibility with src-exts 1.11

Gbp-Pq: 0002-Compatibility-with-src-exts-1.11.patch.

02c69b3... by Joachim Breitner

Compatibility with Alex 2.3.5 and GHC 7.0.3

Gbp-Pq: 0001-Compatibility-with-Alex-2.3.5-and-GHC-7.0.3.patch.