Ubuntu
polygen package

ubuntu/+source/polygen:applied/debian/sid

  1. Git
  2. lp:ubuntu/+source/polygen
  3. applied/debian/sid
Last commit made on 2023-09-20
Get this branch:
git clone -b applied/debian/sid https://git.launchpad.net/ubuntu/+source/polygen
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/debian/sid
Repository:
lp:ubuntu/+source/polygen

Recent commits

7797e4a... by Stéphane Glondu

1.0.6.ds2-24 (patches applied)

Imported using git-ubuntu import.

06e80ed... by Stéphane Glondu

Fix compilation with OCaml 4.13.1

Gbp-Pq: 0008-Fix-compilation-with-OCaml-4.13.1.patch.

aa39ebf... by Stéphane Glondu

fix-ocaml-4.05

Gbp-Pq: 07-fix-ocaml-4.05.patch.

3ecbeb0... by Stéphane Glondu

typo-fix

Gbp-Pq: 06-typo-fix.diff.

898c4cd... by Stéphane Glondu

bit-strings

Gbp-Pq: 05-8bit-strings.diff.

81909c8... by Stéphane Glondu

create-mode

Gbp-Pq: 04-create-mode.diff.

c180374... by Stéphane Glondu

makefile

Gbp-Pq: 03-makefile.diff.

1070a2e... by Stéphane Glondu

grammar-typos

Gbp-Pq: 02-grammar-typos.patch.

9d3fa84... by Stéphane Glondu

dont-regenerate-existing-ofiles

Gbp-Pq: 01-dont-regenerate-existing-ofiles.diff.

1b8eabf... by Stéphane Glondu

1.0.6.ds2-24 (patches unapplied)

Imported using git-ubuntu import.