-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 10 Jul 2009 20:07:12 +0200 Source: frama-c Binary: frama-c Architecture: source amd64 Version: 20081201.dfsg-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr> Description: frama-c - Framework for source code analysis of software written in C Closes: 533158 Changes: frama-c (20081201.dfsg-3) unstable; urgency=low . * Fix long description (Closes: #533158) * Tighten build dependencies versions to ease OCaml 3.11.1 transition * Rebuild with OCaml 3.11.1 Checksums-Sha1: e32b14b933c69dcdc934d43efc2ff9207251d1a1 1581 frama-c_20081201.dfsg-3.dsc 2f0bdbc5cf9b1e188fa09135841c2358fd7ba9c8 32739 frama-c_20081201.dfsg-3.diff.gz dfa1c292f03505c349aae22aaec8f595f45a5ee8 6889934 frama-c_20081201.dfsg-3_amd64.deb Checksums-Sha256: d8040d9c0d1b7d50ddb4bb351bee939c0f5319676f1704a51a088acf2b3847f7 1581 frama-c_20081201.dfsg-3.dsc 8110cca5876396156561d4442c3f20fec3b2a03ae80218fb5246fdecece55ab2 32739 frama-c_20081201.dfsg-3.diff.gz d7da9b47239177547862ba9219deaf925e3c84a7b937cab226a45c1f39a21c27 6889934 frama-c_20081201.dfsg-3_amd64.deb Files: 9d11c55fada2516c18a4305d824c6519 1581 math extra frama-c_20081201.dfsg-3.dsc f0b0e1eeebb6bbbb264d7fb2ef16c665 32739 math extra frama-c_20081201.dfsg-3.diff.gz 8f9825afdd7db63723383bec407d5275 6889934 math extra frama-c_20081201.dfsg-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkpXi8EACgkQhryr/xwAx5BZdgCcCQn3XcGCfRpBCppdQjS6YJA1 sCAAoNiN73luk1ScKn7Fb8xeriSQ0RtJ =88kY -----END PGP SIGNATURE----- Accepted: frama-c_20081201.dfsg-3.diff.gz to pool/main/f/frama-c/frama-c_20081201.dfsg-3.diff.gz frama-c_20081201.dfsg-3.dsc to pool/main/f/frama-c/frama-c_20081201.dfsg-3.dsc frama-c_20081201.dfsg-3_amd64.deb to pool/main/f/frama-c/frama-c_20081201.dfsg-3_amd64.deb
