Ubuntu
z3 package

ubuntu/+source/z3:applied/ubuntu/groovy-devel

  1. Git
  2. lp:ubuntu/+source/z3
  3. applied/ubuntu/groovy-devel
Last commit made on 2020-09-21
Get this branch:
git clone -b applied/ubuntu/groovy-devel 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/groovy-devel
Repository:
lp:ubuntu/+source/z3

Recent commits

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

4.8.9-1 (patches applied)

Imported using git-ubuntu import.

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

Fix z3.pc file template

Gbp-Pq: 02-pkgconfig.patch.

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

Set the SONAME properly

Gbp-Pq: 01-soname.patch.

05c16d3... by Fabian Wolff <email address hidden>

INTRINSICS are not universally available

Gbp-Pq: 00-intrinsics.patch.

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

4.8.9-1 (patches unapplied)

Imported using git-ubuntu import.

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

4.8.8-1 (patches applied)

Imported using git-ubuntu import.

67ce36e... by Fabian Wolff <email address hidden>

4.8.8-1 (patches unapplied)

Imported using git-ubuntu import.

0dd44cb... by Fabian Wolff <email address hidden>

Fix build failure on riscv64

Gbp-Pq: 03-pthread.patch.

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

Set the SONAME properly

Gbp-Pq: 02-soname.patch.

0de8db2... by Fabian Wolff <email address hidden>

Remove the use of __DATE__ to make the build reproducible

Gbp-Pq: 01-reproducibility.patch.