Accepted frama-c 20081201.dfsg-3 (source amd64)
-----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
Reply to: