-----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-----