Ubuntu
dune-common package

ubuntu/+source/dune-common:ubuntu/devel

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

Branch merges

Branch information

Name:
ubuntu/devel
Repository:
lp:ubuntu/+source/dune-common

Recent commits

4d7e717... by Ansgar Burchardt

2.9.0-6 (patches unapplied)

Imported using git-ubuntu import.

2271d16... by Ansgar Burchardt

2.9.0-5 (patches unapplied)

Imported using git-ubuntu import.

c00afaa... by Sébastien Villemot

2.9.0-4 (patches unapplied)

Imported using git-ubuntu import.

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

2.9.0-3 (patches unapplied)

Imported using git-ubuntu import.

87fcd30... by Markus Blatt <email address hidden>

2.9.0-2 (patches unapplied)

Imported using git-ubuntu import.

56706cb... by Ansgar Burchardt

2.9.0-1 (patches unapplied)

Imported using git-ubuntu import.

44b0935... by Drew Parsons

2.8.0-4 (patches unapplied)

Imported using git-ubuntu import.

d08e2d8... by Patrick Jaap <email address hidden>

2.8.0-3 (patches unapplied)

Imported using git-ubuntu import.

bb3cefe... by Patrick Jaap <email address hidden>

2.8.0-2 (patches unapplied)

Imported using git-ubuntu import.

350db26... by Patrick Jaap <email address hidden>

2.8.0-1 (patches unapplied)

Imported using git-ubuntu import.