-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 03 Jun 2009 08:19:25 +0200
Source: frama-c
Binary: frama-c
Architecture: source i386
Version: 20081201.dfsg-2
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
Changes:
frama-c (20081201.dfsg-2) unstable; urgency=low
.
* Do not install Journal_loader.cmxs on non-native archs, fixes FTBFS on
non-native archs.
Checksums-Sha1:
3ff0ac10fec3e7b414b78e855fec9f49c005ac25 1540 frama-c_20081201.dfsg-2.dsc
9559554a33bc453e9916bfc1c986f914298ed206 32308 frama-c_20081201.dfsg-2.diff.gz
cbef4a59464d5da4c745fb88d4d7345e42be0845 6115954 frama-c_20081201.dfsg-2_i386.deb
Checksums-Sha256:
b1104930f9962e7b97d63b9f673912260dfb460c78a84d4e8c305bdfb4d9c9d6 1540 frama-c_20081201.dfsg-2.dsc
92681d2e591e43b84e5ecbd219832d3ad82d818ebb1f4c80b20a8b26d414cb7c 32308 frama-c_20081201.dfsg-2.diff.gz
c9ee915bd29c4c1b8c8e348e46864088613634fe29102e7fd76d21f4b2db910d 6115954 frama-c_20081201.dfsg-2_i386.deb
Files:
887a2d3c379d1b784c60b339b37eeb50 1540 math extra frama-c_20081201.dfsg-2.dsc
f54011bd0edb16e021c3693c85d827b2 32308 math extra frama-c_20081201.dfsg-2.diff.gz
fb803bec91534c86473b74cd43158692 6115954 math extra frama-c_20081201.dfsg-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkomXwUACgkQhryr/xwAx5B7QQCffFAJsZZl5EFRTAfgQ0YA6KyE
L1EAn2DTZWfiHFSYY6ybtjKUPtPEdu8C
=eMba
-----END PGP SIGNATURE-----
Accepted:
frama-c_20081201.dfsg-2.diff.gz
to pool/main/f/frama-c/frama-c_20081201.dfsg-2.diff.gz
frama-c_20081201.dfsg-2.dsc
to pool/main/f/frama-c/frama-c_20081201.dfsg-2.dsc
frama-c_20081201.dfsg-2_i386.deb
to pool/main/f/frama-c/frama-c_20081201.dfsg-2_i386.deb
