Ubuntu
alt-ergo package

ubuntu/+source/alt-ergo:applied/ubuntu/jammy

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

Branch merges

Branch information

Name:
applied/ubuntu/jammy
Repository:
lp:ubuntu/+source/alt-ergo

Recent commits

88257ac... by Matthias Klose

2.0.0-8build1 (patches applied)

Imported using git-ubuntu import.

99e2dc5... by Matthias Klose

Fix compilation with camlzip >= 1.08

Gbp-Pq: 0002-Fix-compilation-with-camlzip-1.08.patch.

26e3e8e... by Matthias Klose

No need to activate debug flag

Gbp-Pq: 0001-dont-activate-debug-flag.

5027562... by Matthias Klose

2.0.0-8build1 (patches unapplied)

Imported using git-ubuntu import.

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

2.0.0-8 (patches applied)

Imported using git-ubuntu import.

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

2.0.0-8 (patches unapplied)

Imported using git-ubuntu import.

6744c82... by Ralf Treinen <email address hidden>

Fix compilation with camlzip >= 1.08

Gbp-Pq: 0002-Fix-compilation-with-camlzip-1.08.patch.

29f0a45... by Ralf Treinen <email address hidden>

No need to activate debug flag

Gbp-Pq: 0001-dont-activate-debug-flag.

7550d75... by Stéphane Glondu

2.0.0-7 (patches applied)

Imported using git-ubuntu import.

9984dbb... by Stéphane Glondu

2.0.0-7 (patches unapplied)

Imported using git-ubuntu import.