Accepted frama-c 20170501+phosphorus+dfsg-2 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 10 Sep 2017 13:52:22 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20170501+phosphorus+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
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
Closes: 871912 874273
Changes:
frama-c (20170501+phosphorus+dfsg-2) unstable; urgency=medium
.
* Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
* Add zsh completion file from upstream's repository
- add 0010-Add-zsh-completion-file.patch
* Better dynlink detection in configure script (Closes: #871912)
- add 0009-Better-handling-of-dynlink-detection.patch
* Fix install target in Makefile to avoid trying to install native
objects on bytecode architectures
* Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out
with -C on i386. (Closes: #874273, LP: #1714514). Thanks to Dimitri
John Ledkov for the patch.
Checksums-Sha1:
a16ceeaa3f45fa08d860f974a18078437caaa0c2 2429 frama-c_20170501+phosphorus+dfsg-2.dsc
e147b340c331936d70784e677a933a4a08fb18d7 29688 frama-c_20170501+phosphorus+dfsg-2.debian.tar.xz
a8432df7ec063f7586e89ba218d5d59d9277f4b4 1090328 frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
c7292448b94175c5cc3f4a16cec6b71c523c5f1c 21037764 frama-c-base_20170501+phosphorus+dfsg-2_amd64.deb
3dae40b7b849bf47f670770e47476797031ed01f 1124040 frama-c-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
f0d13750883dbfd304d5f22d8684d984db64c15c 13634 frama-c_20170501+phosphorus+dfsg-2_amd64.buildinfo
35963be85f276a4b3eb9e44643f3b2ce72ea7db2 11106130 frama-c_20170501+phosphorus+dfsg-2_amd64.deb
Checksums-Sha256:
8479fa269692570475f8e62596bb18f8efd41c59751db5bd55d48dae827399df 2429 frama-c_20170501+phosphorus+dfsg-2.dsc
4683d4a3a64527bb79d3e76b0347b576578ce581a2e69d0141e598b3b60b3c3f 29688 frama-c_20170501+phosphorus+dfsg-2.debian.tar.xz
d02cff7ec3af266b6130c65f7721e4bea56108da784d9750b621b484003a73b7 1090328 frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
3d9805e02a362f41f4d14c0027597981ba94774f464b1b94749af61a8214df90 21037764 frama-c-base_20170501+phosphorus+dfsg-2_amd64.deb
6cce79fb6e82f02eceeb750afa957f63ee45b4a9d7e0399b8790f9efbefa083a 1124040 frama-c-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
a6b3eb7b98b1c7051ffd9813c599a74dd69e4cb701a0a9a0d6b3464884e04953 13634 frama-c_20170501+phosphorus+dfsg-2_amd64.buildinfo
f4a6155366bf7d5aa6507bdcf9510c1a9ac2cf745b6ff5eebd24fed2217e18b6 11106130 frama-c_20170501+phosphorus+dfsg-2_amd64.deb
Files:
fb21dd1579bed6795006a0111fd158c7 2429 devel optional frama-c_20170501+phosphorus+dfsg-2.dsc
38abb69203867c361f807ed483c0df02 29688 devel optional frama-c_20170501+phosphorus+dfsg-2.debian.tar.xz
2ab267d82e20298aa93bfc667471ea82 1090328 debug optional frama-c-base-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
55e081101224890a59e9f8773a29dfc3 21037764 devel optional frama-c-base_20170501+phosphorus+dfsg-2_amd64.deb
4dfba1a1ee4f6b0c0b5e1944b8868748 1124040 debug optional frama-c-dbgsym_20170501+phosphorus+dfsg-2_amd64.deb
0f5e2c2311fddcb8f919113c4c81f828 13634 devel optional frama-c_20170501+phosphorus+dfsg-2_amd64.buildinfo
b69b525c4a77d44c3f00db23610f19c9 11106130 devel optional frama-c_20170501+phosphorus+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlm1KSwRHG1laGRpQGRl
Ymlhbi5vcmcACgkQM74aCowu2P+d2hAAyvsmt+MZoZqrBTz0hRNd26Dv0fzCaEzZ
N+Txq3MqHnUcrNbJTNMPPOf7VTeuOws2fzz8dGQHfZ0DqlVqhLHwXHNkcROmbM9i
SMhAmQbUmDn3OhjZ+3kOymUbjJ3IReHVjz2pnarldi52tcQSOif8RBxg3Q4Fhch1
6HqR9jBvGycdkJBt/wwaGIJxG80rvDG/bF/0v3vTuQsaSRQT2b4KBthdduHOAV27
pGV+CjZfO06xQPNuwVOQDxsKgQXvXZyEU5iunQFj7IO5JSq6q8eT2RWc66Gj6tlq
mgzBJPPXAPhV472W/PZBU8to7Th51P0IglmtIoc7DR/VSAg4lkxgSmer4jrAuBka
/xJaYNWpyFISuBSjqTA4Y/kE+K3nYGDK+X0Ic5eD3Xftfc3kFVTUBYE68B1+IcMx
l7O5F0IHb6Katsds4+Gr+pKQSx2xXDSTI1AAnqcl/ppsymsuHbdoKyNb87oJKDIJ
ebjC2zNaOFzwYCJVb8/UnfYCjx5G7rVVQRe4fNL0lPp5FVNYQGAoiV8E3CNkr2ih
85t2AxZJbuzGPUOOI6RpWec+FCn3+2SrcMBZyRG1Moroe4NN8G26ti4IrbRfQ5tb
YMNNgZMbNvE4RniWx7MFfK1G/uBwHHsZ0IMBboL2nmEMgqUrncqphiSi8eyHhGcr
AzW/4fA+V5Q=
=yvfy
-----END PGP SIGNATURE-----