Ubuntu
why package

ubuntu/+source/why:applied/debian/squeeze

  1. Git
  2. lp:ubuntu/+source/why
  3. applied/debian/squeeze
Last commit made on 2011-03-19
Get this branch:
git clone -b applied/debian/squeeze https://git.launchpad.net/ubuntu/+source/why
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/debian/squeeze
Repository:
lp:ubuntu/+source/why

Recent commits

8c7a125... by Mehdi

2.26+dfsg-2+squeeze1 (patches applied)

Imported using git-ubuntu import.

94a8a97... by Mehdi

[PATCH] Squeeze's Coq is also compatible

Gbp-Pq: 0007-Squeeze-s-Coq-is-also-compatible.patch.

fe5e1c5... by Mehdi

[PATCH] Cope with OCaml 3.12's Map

Gbp-Pq: 0006-Cope-with-OCaml-3.12-s-Map.patch.

a5d8755... by Mehdi

[PATCH] Coq-float can be in coqlib/user-contrib/Float

Gbp-Pq: 0005-Coq-float-can-be-in-coqlib-user-contrib-Float.patch.

79eb840... by Mehdi

[PATCH] Generate Jessie.cma for bytecode only architectures

Gbp-Pq: 0004-Generate-Jessie.cma-for-bytecode-only-architectures.patch.

109558d... by Mehdi

[PATCH] Fix spelling errors

Gbp-Pq: 0003-Fix-spelling-errors.patch.

b97ab52... by Mehdi

[PATCH] Enable Apron support

Gbp-Pq: 0002-Enable-Apron-support.patch.

cfa3c6a... by Mehdi

[PATCH] Do not run tests on non-existant files

Gbp-Pq: 0001-Do-not-run-tests-on-non-existant-files.patch.

6a8363f... by Mehdi

2.26+dfsg-2+squeeze1 (patches unapplied)

Imported using git-ubuntu import.

14fccf7... by Mehdi

2.26+dfsg-2 (patches applied)

Imported using git-ubuntu import.