Ubuntu
dune-typetree package

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

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

Recent commits

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.

4d6b962... by Ansgar Burchardt

2.6~20180215-1 (patches unapplied)

Imported using git-ubuntu import.

fd4d34b... by Ansgar Burchardt

2.6~20171113-1 (patches unapplied)

Imported using git-ubuntu import.