Ubuntu
menhir package

ubuntu/+source/menhir:ubuntu/jammy-devel

  1. Git
  2. lp:ubuntu/+source/menhir
  3. ubuntu/jammy-devel
Last commit made on 2022-01-24
Get this branch:
git clone -b ubuntu/jammy-devel https://git.launchpad.net/ubuntu/+source/menhir
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/jammy-devel
Repository:
lp:ubuntu/+source/menhir

Recent commits

07e1b2f... by Matthias Klose

20210929-1build1 (patches unapplied)

Imported using git-ubuntu import.

af3c110... by Ralf Treinen <email address hidden>

20210929-1 (patches unapplied)

Imported using git-ubuntu import.

c9e520b... by Mehdi

20201216-1 (patches unapplied)

Imported using git-ubuntu import.

8e5038b... by Ralf Treinen <email address hidden>

20201201-1 (patches unapplied)

Imported using git-ubuntu import.

cb78661... by Ralf Treinen <email address hidden>

20200624-1 (patches unapplied)

Imported using git-ubuntu import.

b32b246... by Ralf Treinen <email address hidden>

20200123-3 (patches unapplied)

Imported using git-ubuntu import.

442b7fb... by Ralf Treinen <email address hidden>

20200123-2 (patches unapplied)

Imported using git-ubuntu import.

d1a75e6... by Ralf Treinen <email address hidden>

20200123-1 (patches unapplied)

Imported using git-ubuntu import.

6cc082d... by Ralf Treinen <email address hidden>

20190924-1 (patches unapplied)

Imported using git-ubuntu import.

4f90b9d... by Stéphane Glondu

20190626-6 (patches unapplied)

Imported using git-ubuntu import.