Ubuntu
ocp-indent package

ubuntu/+source/ocp-indent:applied/debian/jessie

  1. Git
  2. lp:ubuntu/+source/ocp-indent
  3. applied/debian/jessie
Last commit made on 2014-09-15
Get this branch:
git clone -b applied/debian/jessie https://git.launchpad.net/ubuntu/+source/ocp-indent
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/debian/jessie
Repository:
lp:ubuntu/+source/ocp-indent

Recent commits

f1c1a92... by Johannes Schauer Marin Rodrigues

1.4.2-1 (patches applied)

Imported using git-ubuntu import.

029f84f... by Johannes Schauer Marin Rodrigues

allow to build without ocamlopt

Gbp-Pq: let-Makefile.simple-respect-OCAML_HAVE_OCAMLOPT.

ccf50d7... by Johannes Schauer Marin Rodrigues

remove approx_common.ml from being generated

Gbp-Pq: remove-approx_common-from-Makefile.simple.

a96ef36... by Johannes Schauer Marin Rodrigues

fix syntax error in Makefile.simple

Gbp-Pq: fix-Makefile.simple-syntax-error.

3bd700d... by Johannes Schauer Marin Rodrigues

1.4.2-1 (patches unapplied)

Imported using git-ubuntu import.

e40ab0f... by Johannes Schauer Marin Rodrigues

1.4.1-2 (patches applied)

Imported using git-ubuntu import.

225c5da... by Johannes Schauer Marin Rodrigues

1.4.1-2 (patches unapplied)

Imported using git-ubuntu import.

e525537... by Johannes Schauer Marin Rodrigues

Makefile.simple.patch

No DEP3 Subject or Description header found

Gbp-Pq: Makefile.simple.patch.