-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 24 Jan 2016 00:33:56 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20151002+magnesium+dfsg-1
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 (20151002+magnesium+dfsg-1) unstable; urgency=medium
.
* New upstream release
- Refresh patches.
- Add ocaml-findlib and libfindlib-ocaml-dev to Build-Depends
since they became a hard requirement.
* Fix variable FRAMA_GUI_LIBS in debian/rules: "gui" directory
moved from "src" to "src/plugins".
* Fix ocaml-dangling-cmx and ocaml-dangling-cmxa.
Checksums-Sha1:
50f70ea035a104780328231e014fb51b7a7ad605 2371 frama-c_20151002+magnesium+dfsg-1.dsc
b68083d28bb0ffc6c2174e39b628e2aafdbce633 6039523 frama-c_20151002+magnesium+dfsg.orig.tar.gz
562bd5fcba12c59e63d1568d3a349e4fee955286 22264 frama-c_20151002+magnesium+dfsg-1.debian.tar.xz
9d5c9b1d704ac876ba69ca6d79dafb3eb9f2f67c 899988 frama-c-base-dbgsym_20151002+magnesium+dfsg-1_amd64.deb
240fdde49b844a65302508221330bc18b79369db 18816018 frama-c-base_20151002+magnesium+dfsg-1_amd64.deb
2e1bc2be7828449bf79f5a6ca7b41c2f0fbe49b8 1003658 frama-c-dbgsym_20151002+magnesium+dfsg-1_amd64.deb
55e263bd81477f9261a6d60eec4200dff7a9de89 8566600 frama-c_20151002+magnesium+dfsg-1_amd64.deb
Checksums-Sha256:
d26235b70cd6ac1471d3351a5e07d26ca9357d5a78a5affc1759fa62ae6ac856 2371 frama-c_20151002+magnesium+dfsg-1.dsc
53fc3e0da809ab7ae6f5a207c60017297ecc67cacdb5442f4ff0dcd531d8621b 6039523 frama-c_20151002+magnesium+dfsg.orig.tar.gz
f71cf0fdb4b0e0381c3ca9e6a2bf1964f63f0b2bd57b3c04c7cb68e0232211ee 22264 frama-c_20151002+magnesium+dfsg-1.debian.tar.xz
719fc0ef619816a10a4c969995bf20aff2bd35f1d5e9b26e7c26368b8c26f589 899988 frama-c-base-dbgsym_20151002+magnesium+dfsg-1_amd64.deb
93c6cf054563f54cf8be35ebbec0cea301a1915718884dabf41361cd2b74fa63 18816018 frama-c-base_20151002+magnesium+dfsg-1_amd64.deb
75eefcbca495c7336beb7d9589bcac2d8b01576babcb804b5ce93a71b30600e7 1003658 frama-c-dbgsym_20151002+magnesium+dfsg-1_amd64.deb
254c55b3cea6ac6647db44e8873830a2e5fa918990be62fe6ae0c6b0300b1c3a 8566600 frama-c_20151002+magnesium+dfsg-1_amd64.deb
Files:
6ec2a1df9448a4a3e9ab367c722ec027 2371 devel optional frama-c_20151002+magnesium+dfsg-1.dsc
f59bd2b2771ea5075a1e23ad3d415360 6039523 devel optional frama-c_20151002+magnesium+dfsg.orig.tar.gz
8e24d11ed1971cb75d12baf8b316ec73 22264 devel optional frama-c_20151002+magnesium+dfsg-1.debian.tar.xz
7330d452fb40e798df7f8f81e3a27ae7 899988 debug extra frama-c-base-dbgsym_20151002+magnesium+dfsg-1_amd64.deb
f7891e7007af85cbdf1deb48bc51f1d1 18816018 devel optional frama-c-base_20151002+magnesium+dfsg-1_amd64.deb
26d6052765453ad475991e01fbcb5142 1003658 debug extra frama-c-dbgsym_20151002+magnesium+dfsg-1_amd64.deb
fe333b85d1a023c28a68cbafa7af1118 8566600 devel optional frama-c_20151002+magnesium+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWpA+XAAoJEDO+GgqMLtj/kXoQALBfNMhZHxjluf754Ph8gI92
IoMhg5HoXN4GtxtcX3f2eWvcuh6fJ0fxQAPJTbqHbHGKrFLLbx1fvCg3VXPzA9Dt
llnJsjR7UQKNQhaI2a5BDw8Da28JfZamrcTV7PKqifsBHRPyJKtItpCQEf45on1R
ojlqj/fAndpp1kFEqlDv6YdJ1UpIpeKGiupxYeZspg1SJaHJ3pLi4FC8EWtDrH4R
suNCZ6YPWWrGKoZ7LVONGS02UrHKMsPmF787QOOY1fgXz1Lf6UxR2dXVeQh1qKVc
BkxsJZ6hQqSy90tkbpR6WPd5Es7VP25Vv++q3DzRXyJoBZCOdR8EguqzNdN1VNGz
8NsXJQQBHSWfgX62M2MCpwEl+3g/+j/Gq6FkUbPGjufgCwtvWg9BlpYRipWAZi78
ySZLHXWGzhmrptgspQ9irSmjxAyvOVhfK0AP7bZBE1C5xh1zvcpqAJNKve17cPqd
pTHqM+tkzO3KbbXaIjCv27UdpITmuH6PrBNFdS1H8aJdGnSAykjokd8X/FrSkBIQ
uxudw1wCrPKc9tD1VEuUDSH0+ntuMRkXJg9b0I5RbQmYu94jtzuVW51Gf+1U86R8
LgwBr2zJ/5IqJTAj4EHnoF/a1HPOfUcyF9TUany+5by5sJ8qAYGSfn6OQATOKhDh
5W1ysVh5OU6biHnhMyHl
=BiU9
-----END PGP SIGNATURE-----
