-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 28 Apr 2014 21:28:44 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20140301+neon+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 - Framework for source code analysis of software written in C
frama-c-base - Framework for C source code analysis (without gui)
Changes:
frama-c (20140301+neon+dfsg-2) unstable; urgency=medium
.
* The new configure script tries to compile a test program linking
against the OCamlgraph library. Unfortunately, upstream only tests
the native case and fails for the bytecode case. Since, the OCamlgraph
library is tested elsewhere, I'm adding a patch to disable that check.
This resolves observed FTBFS on bytecode architectures (mips and mipsel).
- Add 0005-Don-t-fail-during-the-configure-on-bytecode-architec.patch
Checksums-Sha1:
48847a13191dd4f7a5ca6bc1e177cf5110970360 2320 frama-c_20140301+neon+dfsg-2.dsc
9ae79924a50e86a0fc9543e5cc7c8a7f54cc6a29 23780 frama-c_20140301+neon+dfsg-2.debian.tar.xz
97765d192806731de558f13b2e15edf60ec6a091 3657462 frama-c_20140301+neon+dfsg-2_amd64.deb
5b5fe5dc17514d9dd524f6d6d5d376c0de15ef9b 19062748 frama-c-base_20140301+neon+dfsg-2_amd64.deb
Checksums-Sha256:
4310eccedc53b5f74705b39966a4d1c54fca507594f85d41ff7d06eb9b0fd2bf 2320 frama-c_20140301+neon+dfsg-2.dsc
5fc425d73404e444b7f459e5ccfa39e6999c64e39c7e635e7b06a43f19c8dde1 23780 frama-c_20140301+neon+dfsg-2.debian.tar.xz
26ed252798bb8347b4d48cd8a97fe77544ad6be2295950e4de260f9bd1b3e013 3657462 frama-c_20140301+neon+dfsg-2_amd64.deb
983147058544e941ad9dbe29c540a7081aaf5dbeaf6c8e127beb9cf414160169 19062748 frama-c-base_20140301+neon+dfsg-2_amd64.deb
Files:
db162cf508b62306a165658995c439aa 3657462 devel optional frama-c_20140301+neon+dfsg-2_amd64.deb
00ce8498e05ba6d24251d8bfebd3f52d 19062748 devel optional frama-c-base_20140301+neon+dfsg-2_amd64.deb
679eb3055da66bf72a068366e0ce0794 2320 devel optional frama-c_20140301+neon+dfsg-2.dsc
4843fadd78c848472f9a10facf68b8fb 23780 devel optional frama-c_20140301+neon+dfsg-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJTXrcJAAoJEDO+GgqMLtj/P7kP/j5Y0S7KNALRq0GzjZVMIbwB
6PXPc5AhK+At/nFiqCq2Vlt50IN5M333EtrnPW6xp7zPVBPknTRnO9omNI4KLbbo
nqTwnmiPzBg36kVd57wRBeQcakJt8OvaNKVcCr94rdK2wLe63zOAB3UaD4KdCqIf
k0EIxK1WELXRPAT8a/s4M/v465tqo9FIGhfbvPDTxnCRpYWkCUNSPuvegKSfvIDo
nxhzxTAa7/UQYq41L7U36T0LcB/L9JQ3K0Bn0tzWvVMc0YdtdLJ7ma3wtQ74VFO6
dHbU6HmkysAB4xYPZAqrcyEBJE9Gb+dxZv/k19KXk9xVfqUA9PG+pjnkXI6YhSoK
049MO5dySXEQjuVYbyTVKz7o7b0SWxOoIVsPT3s+l1869giWze1rOu5k9vETS6WS
dZjGQNq8mhmIv6uOciY326pQFrvaVtgrt6hLbTkTATaDoU8sURYrwow8XuRcnmqY
+f3UFOOulU0jFt8hRjlS7e1X919iBtRe4sPQtF4mVFiLL+OCWcT2jazPsEZsXx2J
zY2DUd6GSvPPxvW9YccHGDdlKaeAUsM3XKySNZUJCuixqjIS4efstKVk0frJzbPG
DsiZJIKk/EcfdN0HYm3NcJuAgQTMEPacSpR67OLKr6utZ/t/eFcX5zrlGfULbYgb
h4LOvd6Ex5UgL/5AJfOG
=gzey
-----END PGP SIGNATURE-----
