ubuntu/+source/coccinelle:applied/ubuntu/focal-devel

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related charm recipes

53c13bb... by Dimitri John Ledkov on 2020-02-25

1.0.4.deb-5ubuntu2 (patches applied)

Imported using git-ubuntu import.

bbedc44... by Dimitri John Ledkov on 2020-02-25

Account for change of type of menhirLib

Gbp-Pq: 0008-Account-for-change-of-type-of-menhirLib.patch.

7a04d11... by Dimitri John Ledkov on 2020-02-25

Add missing .mli files to run checks properly

Gbp-Pq: 0008-Add-missing-.mli-files-to-run-checks-properly.patch.

d390246... by Dimitri John Ledkov on 2020-02-25

Compile interfaces with -opaque

Gbp-Pq: 0006-Compile-interfaces-with-opaque.patch.

320be32... by Dimitri John Ledkov on 2020-02-25

Fix compilation with -safe-string

Gbp-Pq: 0005-Fix-compilation-with-safe-string.patch.

ab9a036... by Dimitri John Ledkov on 2020-02-25

fix building of the manual

Gbp-Pq: manual-build-fix.diff.

1f77dc4... by Dimitri John Ledkov on 2020-02-25

bash-completion-dir

Gbp-Pq: bash-completion-dir.diff.

0e5212f... by Dimitri John Ledkov on 2020-02-25

notparallel-main-makefile

Gbp-Pq: notparallel-main-makefile.diff.

abf373c... by Dimitri John Ledkov on 2020-02-25

pdf-docs-build

Gbp-Pq: pdf-docs-build.diff.

d32ea2f... by Dimitri John Ledkov on 2020-02-25

1.0.4.deb-5ubuntu2 (patches unapplied)

Imported using git-ubuntu import.