Ubuntu
z3 package

ubuntu/+source/z3:applied/ubuntu/impish-proposed

  1. Git
  2. lp:ubuntu/+source/z3
  3. applied/ubuntu/impish-proposed
Last commit made on 2021-09-11
Get this branch:
git clone -b applied/ubuntu/impish-proposed https://git.launchpad.net/ubuntu/+source/z3
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/impish-proposed
Repository:
lp:ubuntu/+source/z3

Recent commits

c405065... by Fabian Wolff <email address hidden>

4.8.12-1 (patches applied)

Imported using git-ubuntu import.

59e0a40... by Fabian Wolff <email address hidden>

Set the SONAME properly

Gbp-Pq: 01-soname.patch.

e66e077... by Fabian Wolff <email address hidden>

INTRINSICS are not universally available

Gbp-Pq: 00-intrinsics.patch.

e45a988... by Fabian Wolff <email address hidden>

4.8.12-1 (patches unapplied)

Imported using git-ubuntu import.

cbd026b... by Fabian Wolff <email address hidden>

4.8.10-1 (patches applied)

Imported using git-ubuntu import.

4d0f6e9... by Fabian Wolff <email address hidden>

4.8.10-1 (patches unapplied)

Imported using git-ubuntu import.

7b17287... by Fabian Wolff <email address hidden>

Set the SONAME properly

Gbp-Pq: 01-soname.patch.

3258a8b... by Fabian Wolff <email address hidden>

INTRINSICS are not universally available

Gbp-Pq: 00-intrinsics.patch.

03cd704... by Fabian Wolff <email address hidden>

4.8.9-1 (patches applied)

Imported using git-ubuntu import.

ff2987f... by Fabian Wolff <email address hidden>

4.8.9-1 (patches unapplied)

Imported using git-ubuntu import.