Ubuntu
apron package

ubuntu/+source/apron:applied/ubuntu/focal

  1. Git
  2. lp:ubuntu/+source/apron
  3. applied/ubuntu/focal
Last commit made on 2020-02-21
Get this branch:
git clone -b applied/ubuntu/focal https://git.launchpad.net/ubuntu/+source/apron
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/focal
Repository:
lp:ubuntu/+source/apron

Recent commits

470c49b... by Dimitri John Ledkov

0.9.10-9.1build1 (patches applied)

Imported using git-ubuntu import.

07deb95... by Dimitri John Ledkov

Fix typos

Gbp-Pq: 0010-Fix-typos.patch.

b8c293c... by Dimitri John Ledkov

Don't define strdup

Gbp-Pq: 0009-Don-t-define-strdup.patch.

f2b3bbc... by Dimitri John Ledkov

Fix build failure with ppl-1.0

Gbp-Pq: 0008-Fix-build-failure-with-ppl-1.0.patch.

15f3310... by Dimitri John Ledkov

Fix rounding mode check in assert.

Gbp-Pq: 0007-Fix-rounding-mode-check-in-assert.patch.

ec051ed... by Dimitri John Ledkov

Remove references to obsolete mpfr_random

Gbp-Pq: 0006-Remove-references-to-obsolete-mpfr_random.patch.

e510cd5... by Dimitri John Ledkov

Install oct*.a

Gbp-Pq: 0005-Install-oct-.a.patch.

41084b2... by Dimitri John Ledkov

Patch in order to resolve symbols

Gbp-Pq: 0004-Patch-in-order-to-resolve-symbols.patch.

fe270aa... by Dimitri John Ledkov

Patch in order to be able to build on non-native archs

Gbp-Pq: 0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch.

174b5b1... by Dimitri John Ledkov

Add sonames

Gbp-Pq: 0002-Add-sonames.patch.