Ubuntu
dune-typetree package

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

  1. Git
  2. lp:ubuntu/+source/dune-typetree
  3. ubuntu/mantic
Last commit made on 2023-01-13
Get this branch:
git clone -b ubuntu/mantic 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/mantic
Repository:
lp:ubuntu/+source/dune-typetree

Recent commits

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.

656e260... by Ansgar Burchardt

2.7.0-1 (patches unapplied)

Imported using git-ubuntu import.