Ubuntu
dune-functions package

ubuntu/+source/dune-functions:ubuntu/disco

  1. Git
  2. lp:ubuntu/+source/dune-functions
  3. ubuntu/disco
Last commit made on 2018-07-19
Get this branch:
git clone -b ubuntu/disco 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:
ubuntu/disco
Repository:
lp:ubuntu/+source/dune-functions

Recent commits

1ca4e03... by Matthias Klose

2.6~20180228-1build1 (patches unapplied)

Imported using git-ubuntu import.

66919af... by Ansgar Burchardt

2.6~20180228-1 (patches unapplied)

Imported using git-ubuntu import.

1e304e0... by Ansgar Burchardt

2.6~20171031-1 (patches unapplied)

Imported using git-ubuntu import.

77ef9bf... by Ansgar Burchardt

2.5.1-1 (patches unapplied)

Imported using git-ubuntu import.

a5b39d0... by Ansgar Burchardt

2.5.1~rc1-1 (patches unapplied)

Imported using git-ubuntu import.

8b9b8ff... by Ansgar Burchardt

2.5.0-1 (patches unapplied)

Imported using git-ubuntu import.

8ca29f9... by Ansgar Burchardt

2.5.0~rc2-1 (patches unapplied)

Imported using git-ubuntu import.

f27308a... by Ansgar Burchardt

2.4~20160825g0fd5975-1 (patches unapplied)

Imported using git-ubuntu import.

f496f3b... by Ansgar Burchardt

2.4~20160507g3dd041d-1 (patches unapplied)

Imported using git-ubuntu import.

d9e76f3... by Ansgar Burchardt

2.4~20160406ge6b3b4c-1 (patches unapplied)

Imported using git-ubuntu import.