Ubuntu
menhir package

ubuntu/+source/menhir:applied/ubuntu/eoan-devel

  1. Git
  2. lp:ubuntu/+source/menhir
  3. applied/ubuntu/eoan-devel
Last commit made on 2019-08-27
Get this branch:
git clone -b applied/ubuntu/eoan-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:
applied/ubuntu/eoan-devel
Repository:
lp:ubuntu/+source/menhir

Recent commits

6b768fe... by Gianfranco Costamagna

20190626-6ubuntu1 (patches applied)

Imported using git-ubuntu import.

2e5e067... by Gianfranco Costamagna

builders defines V=1 to enable verbosity, makefile uses it to list .V files.

Gbp-Pq: fixup-failure.patch.

90c5655... by Gianfranco Costamagna

add "byte" targets to some Makefiles in demos/

Gbp-Pq: demos-enable-bytecode.

326e301... by Gianfranco Costamagna

20190626-6ubuntu1 (patches unapplied)

Imported using git-ubuntu import.

c219069... by Gianfranco Costamagna

20190626-5ubuntu1 (patches applied)

Imported using git-ubuntu import.

26818bd... by Gianfranco Costamagna

20190626-5ubuntu1 (patches unapplied)

Imported using git-ubuntu import.

6e552f6... by Gianfranco Costamagna

builders defines V=1 to enable verbosity, makefile uses it to list .V files.

Gbp-Pq: fixup-failure.patch.

9b3523e... by Gianfranco Costamagna

add "byte" targets to some Makefiles in demos/

Gbp-Pq: demos-enable-bytecode.

2a2bc57... by Ralf Treinen <email address hidden>

20190626-5 (patches applied)

Imported using git-ubuntu import.

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

20190626-5 (patches unapplied)

Imported using git-ubuntu import.