Ubuntu
z3 package

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

  1. Git
  2. lp:ubuntu/+source/z3
  3. applied/ubuntu/bionic-proposed
Last commit made on 2017-10-27
Get this branch:
git clone -b applied/ubuntu/bionic-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/bionic-proposed
Repository:
lp:ubuntu/+source/z3

Recent commits

41f281a... by Dimitri John Ledkov

4.4.1-0.3build4 (patches applied)

Imported using git-ubuntu import.

4406fb7... by Dimitri John Ledkov

Add some more casts to fix the build (Bug: #835743)

Gbp-Pq: fix-build.patch.

2fc4bd5... by Dimitri John Ledkov

[PATCH] fix build with clang

Gbp-Pq: 27399309009314f56cdfbd8333f287b1a9b7a3a6.patch.

d459c29... by Dimitri John Ledkov

[PATCH] Convert stream to bool explicitly

Gbp-Pq: f02d273ee39ae047222e362c37213d29135dc661.patch.

0e2b85d... by Dimitri John Ledkov

Fix compilation on kfreebsd-* systems

Gbp-Pq: kfreebsd.patch.

575ab60... by Dimitri John Ledkov

Enable hardening flags for all shared libraries

Gbp-Pq: hardening.patch.

ff67bd4... by Dimitri John Ledkov

Fix typos found by Lintian

Gbp-Pq: typos.patch.

87e8156... by Dimitri John Ledkov

INTRINSICS are not universally available

Gbp-Pq: intrinsics.patch.

30d43f1... by Dimitri John Ledkov

ocamlopt is not available everywhere

Gbp-Pq: avoid-ocamlopt.patch.

a3f795f... by Dimitri John Ledkov

Fix .NET version number to build with Mono

Gbp-Pq: fix-dotnet-version.patch.