-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 27 Apr 2014 21:41:47 +0200 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20140301+neon+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) Closes: 746091 Changes: frama-c (20140301+neon+dfsg-1) unstable; urgency=medium . * New upstream release. - Refresh patches - Remove 0005-Fix-compilation-with-OCaml-4.01.0.patch - Add 0004-Port-to-OCamlgraph-1.8.5.patch (Closes: #746091) * Bump build-dependency of Ocamlgraph to 1.8.5~. * Pass --enabe-zarith to configure script instead of patching it. - Remove 0004-Fix-auto-detection-of-ocaml-zarith.patch. Checksums-Sha1: 097689952a0140667b2fb948ffa74cb449aff355 2320 frama-c_20140301+neon+dfsg-1.dsc a46275e19728887bd1295c209448f29942b14b34 2830503 frama-c_20140301+neon+dfsg.orig.tar.gz eff5257e77651a7f7fecfade649f50e1c9ff92be 23456 frama-c_20140301+neon+dfsg-1.debian.tar.xz 1afdcab4a6128f988e16f96d7e261ef7c73bb066 3653822 frama-c_20140301+neon+dfsg-1_amd64.deb 25cdd1af4bd094395bbf5d5edfd19f7a60dc7a59 19071856 frama-c-base_20140301+neon+dfsg-1_amd64.deb Checksums-Sha256: 81afe48b9da0ded5c337e542e7d74bc74d1dbebee5dac0ca07bd122bc3cf7645 2320 frama-c_20140301+neon+dfsg-1.dsc 464bb40ccec8eff4056d4f522aed9fd46cd02fd50fd1021cc9c4ea514b3c7361 2830503 frama-c_20140301+neon+dfsg.orig.tar.gz 71ee22829100751220232558800ec420b33e12611f58534925e77f98977ccaf0 23456 frama-c_20140301+neon+dfsg-1.debian.tar.xz 5db9bbf0c0ba96adbd6efacc27378f333d82069a42eb6e93f6e7fc60328b79eb 3653822 frama-c_20140301+neon+dfsg-1_amd64.deb 72607598414beb9d90d901356a68179824fe468cd70ba7d4d17be1e4b4cb3fd4 19071856 frama-c-base_20140301+neon+dfsg-1_amd64.deb Files: c5224a368db3db4b73745a3abb216096 3653822 devel optional frama-c_20140301+neon+dfsg-1_amd64.deb e72111d5a955e1522a4bbc325de71549 19071856 devel optional frama-c-base_20140301+neon+dfsg-1_amd64.deb 07fbdfcbbb5a8fea6cdc2278098c174b 2320 devel optional frama-c_20140301+neon+dfsg-1.dsc 5186fb142b9d8e614cc2e83621227b39 2830503 devel optional frama-c_20140301+neon+dfsg.orig.tar.gz e8a480a100760e58f60d0876c29c96ba 23456 devel optional frama-c_20140301+neon+dfsg-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCAAGBQJTXW0MAAoJEDO+GgqMLtj/VQ8P/A79cHt779JIH5lz060Qt5Uc YhOY2W34yP+yAglL4foKhNMG5F+E7vCs/ZpfPTz4rKvlFPHGrSNc970N7RYX/gkC pf6JDkzVQe8J+QOKCv8pzsXvmVrWn/pEb0vevKzB2pJ2xU3cUQlIE5N1og35ZW70 wJYAvv7+9fH43b7hBXDzIROUl1Sif2UUNYzCSDsKmBFmZzyOyiNL9MGDgWMFWmz3 IOLXKU8w9u15Kc9jhaXRxfxscQRH1ufs/XdzD2Y1VG9RSjL3ge6R1/wL9GeDeE9J /CPi9gYinErNRvyPA56ZStpqUUApV4dNUy/sWIvCGk9/w6YGLs+WuG57c8uGXHY5 9EYyEHlzsiiK8LSUIPAI43sZ7v0+5kDUNZ3mLDLOllJHQGJ6W+jU2N09DfZVHEzl HPpNBTWL9P59NRslYrghKCwgCDoksyxRlMVVwQXfyTOjNcbd30Las6LnLzGPjgay 4VUk71dFjTgAk/bNMkLxmufy2fPsC1UL/VtNLkyjKUiZ0jpPr047ggWsvstvmOPD oThTbYMReGo+VFe1W0QToWdyWLPZR2hH7lB51QwsogchrUY5ECAzgBu6Uwy6Jby8 wLos7MaIb7TPUf6ztYxR8RYsYb/T1vm7L1p96Fsr7GjbFS48N1e8UE9aeEnmcnQV JANBthQYT7hEyYDK9YzJ =21zB -----END PGP SIGNATURE-----
