Ubuntu
menhir package

ubuntu/+source/menhir:ubuntu/focal-proposed

  1. Git
  2. lp:ubuntu/+source/menhir
  3. ubuntu/focal-proposed
Last commit made on 2020-02-28
Get this branch:
git clone -b ubuntu/focal-proposed 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/focal-proposed
Repository:
lp:ubuntu/+source/menhir

Recent commits

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.

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

20190626-5 (patches unapplied)

Imported using git-ubuntu import.

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

20190626-3 (patches unapplied)

Imported using git-ubuntu import.

367c860... by Ralf Treinen <email address hidden>

20190626-2 (patches unapplied)

Imported using git-ubuntu import.

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

20190626-1 (patches unapplied)

Imported using git-ubuntu import.

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

20181113-1 (patches unapplied)

Imported using git-ubuntu import.

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

20180530-2 (patches unapplied)

Imported using git-ubuntu import.