Ubuntu
dune-typetree package

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

  1. Git
  2. lp:ubuntu/+source/dune-typetree
  3. ubuntu/devel
Last commit made on 2024-04-22
Get this branch:
git clone -b ubuntu/devel https://git.launchpad.net/ubuntu/+source/dune-typetree
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-typetree

Recent commits

c04fc30... by Julian Andres Klode

2.9.0-2build1 (patches unapplied)

Imported using git-ubuntu import.

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

2.9.0-2 (patches unapplied)

Imported using git-ubuntu import.

bfd012c... by Ansgar Burchardt

2.9.0-1 (patches unapplied)

Imported using git-ubuntu import.

467169a... by Patrick Jaap <email address hidden>

2.8.0-2 (patches unapplied)

Imported using git-ubuntu import.

4e5f8c5... by Patrick Jaap <email address hidden>

2.8.0-1 (patches unapplied)

Imported using git-ubuntu import.

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

2.8.0~rc1-1 (patches unapplied)

Imported using git-ubuntu import.

1a3b762... by Ansgar Burchardt

2.7.1-2 (patches unapplied)

Imported using git-ubuntu import.

85f4be7... by Lisa Julia Nebel <email address hidden>

2.7.1-1 (patches unapplied)

Imported using git-ubuntu import.

ce97948... by Ansgar Burchardt

2.7.1~20200605-2 (patches unapplied)

Imported using git-ubuntu import.

48fe514... by Ansgar Burchardt

2.7.1~20200605-1 (patches unapplied)

Imported using git-ubuntu import.