[ubuntu/artful-proposed] frama-c 20170501+phosphorus+dfsg-1ubuntu1 (Accepted)

[Dimitri John Ledkov]

frama-c (20170501+phosphorus+dfsg-1ubuntu1) artful; urgency=medium

  * Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out
    with -C on i386. LP: #1714514

Date: Thu, 31 Aug 2017 23:47:37 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/frama-c/20170501+phosphorus+dfsg-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 31 Aug 2017 23:47:37 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20170501+phosphorus+dfsg-1ubuntu1
Distribution: artful
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 frama-c    - Platform dedicated to the analysis of source code written in C
 frama-c-base - Platform dedicated to the analysis of source code written in C (w
Launchpad-Bugs-Fixed: 1714514
Changes:
 frama-c (20170501+phosphorus+dfsg-1ubuntu1) artful; urgency=medium
 .
   * Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out
     with -C on i386. LP: #1714514
Checksums-Sha1:
 4a796843f84eea3fc26f28aba79af76487999a6e 2151 frama-c_20170501+phosphorus+dfsg-1ubuntu1.dsc
 d2d115e505c58353f842cbd313ec40e93d3b8a85 25740 frama-c_20170501+phosphorus+dfsg-1ubuntu1.debian.tar.xz
Checksums-Sha256:
 08438901ab91c92f71fa96158d7faa4796c9a2bb58c6592ba7a158cfee7b9105 2151 frama-c_20170501+phosphorus+dfsg-1ubuntu1.dsc
 074ff1bf87b0ba14496c1d355e9431bb13f336fcb06fbf3e587c1266ba44a627 25740 frama-c_20170501+phosphorus+dfsg-1ubuntu1.debian.tar.xz
Files:
 658645e9c9907e993800450d354d1b75 2151 devel optional frama-c_20170501+phosphorus+dfsg-1ubuntu1.dsc
 c201fe2ed5be419f5aa318caecbfe29e 25740 devel optional frama-c_20170501+phosphorus+dfsg-1ubuntu1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZqWmRAAoJEMrC2LnNLKX584AH/2ixobeUsPe6c3/221wr7ji4
fDm+ZlNGyk08X2lMAKAbfARx2z7xVuqvKTH3+gYuCjRcz7g2J2fj4g4uVp0Ifi8o
lRfJB2utI2kW/2GzoQE5tr/AB1udADkQRDia3WvMXSDaO2GQqvRaCSxZr0Ex+1AQ
l/ydpAcf7S5303CnPDUVTPeGZe1hkXCZ6gBpGn2Px1kZXFjG2pN5JAb2r9h9TaIL
c370pXg2TNgy8o4QDpnQ7ZEogRS4rlOrO9ao3iCt/38ahJeHZy/jS0B2jKepmvCs
cvu+1EGjLxSTJyuo/lNXZVj+gWthD52hZOaF+aU0U2y94t1eiz7Sg8hMqXXqWyI=
=lqE+
-----END PGP SIGNATURE-----