Ubuntu
dune-functions package

ubuntu/+source/dune-functions:applied/ubuntu/lunar-devel

  1. Git
  2. lp:ubuntu/+source/dune-functions
  3. applied/ubuntu/lunar-devel
Last commit made on 2023-01-13
Get this branch:
git clone -b applied/ubuntu/lunar-devel https://git.launchpad.net/ubuntu/+source/dune-functions
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/lunar-devel
Repository:
lp:ubuntu/+source/dune-functions

Recent commits

e644a17... by Markus Blatt <email address hidden>

2.9.0-2 (patches applied)

Imported using git-ubuntu import.

0427e93... by Markus Blatt <email address hidden>

[PATCH] Install two additional headers

Gbp-Pq: Install-two-additional-headers.patch.

0f17519... by Markus Blatt <email address hidden>

removed-non-free-doc.patch

No DEP3 Subject or Description header found

Gbp-Pq: removed-non-free-doc.patch.

7cad4bd... by Markus Blatt <email address hidden>

fix-version-dune-module.diff

No DEP3 Subject or Description header found

Gbp-Pq: fix-version-dune-module.diff.

1dc27b3... by Markus Blatt <email address hidden>

2.9.0-2 (patches unapplied)

Imported using git-ubuntu import.

b8fc786... by Ansgar Burchardt

2.9.0-1 (patches applied)

Imported using git-ubuntu import.

61cbb40... by Ansgar Burchardt

2.9.0-1 (patches unapplied)

Imported using git-ubuntu import.

40d646a... by Ansgar Burchardt

[PATCH] Install two additional headers

Gbp-Pq: Install-two-additional-headers.patch.

4d3e1ce... by Ansgar Burchardt

removed-non-free-doc.patch

No DEP3 Subject or Description header found

Gbp-Pq: removed-non-free-doc.patch.

9b2df27... by Ansgar Burchardt

fix-version-dune-module.diff

No DEP3 Subject or Description header found

Gbp-Pq: fix-version-dune-module.diff.