-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 02 Dec 2009 00:08:35 +0100 Source: frama-c Binary: frama-c Architecture: source amd64 Version: 20090901+beryllium+dfsg-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: frama-c - Framework for source code analysis of software written in C Closes: 541963 Changes: frama-c (20090901+beryllium+dfsg-2) unstable; urgency=low . * Fix watch file * Build-depend on lablgtk2 (>= 2.14.0+dfsg-2) (Closes: #541963). - Add a patch: 0004-Use-GSourceView2.patch * Use new features of dh-ocaml * Build-dep on ocamlgraph (>> 1.2+debian) Checksums-Sha1: a4ed0c652e6010bdc54be16ee90daf0de9af4f70 2232 frama-c_20090901+beryllium+dfsg-2.dsc 2a3f55a7955e20aea76c17b8293d9ea1a8ae94b7 24368 frama-c_20090901+beryllium+dfsg-2.diff.gz 44d826448f3ef8906b4012ee0a30217759b09291 17210446 frama-c_20090901+beryllium+dfsg-2_amd64.deb Checksums-Sha256: 94b677ebe587bd92eb5bb34ecccc4395f35a1def501f5cffc06d0f46ce58af3e 2232 frama-c_20090901+beryllium+dfsg-2.dsc 2a478de6504ff69937c60ebcdc80c7efba80185d98105fb60574a2a951355596 24368 frama-c_20090901+beryllium+dfsg-2.diff.gz 3109f8ab63b3b2f77b098513055688cb4afd520e1f926ccb8a5a2461cb9dfb70 17210446 frama-c_20090901+beryllium+dfsg-2_amd64.deb Files: 4823ef5494cedaeafc4fc53dd647ee8d 2232 math extra frama-c_20090901+beryllium+dfsg-2.dsc bbd4a0a4c5c71415325b6e0130d7b620 24368 math extra frama-c_20090901+beryllium+dfsg-2.diff.gz 5d178bd6944faa2a57a1caacf6f91b4c 17210446 math extra frama-c_20090901+beryllium+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCAAGBQJLFbLOAAoJEDO+GgqMLtj/PScQAKC6/iYDuhzWl1HHZ+nVQC7h g9sroDg9kbSZuJDn59qR3Tw0OdyliXL4oe6AXdp11huF9w7hmToJnV0AZCkzmwhu JQSjU2x8lo1K7ewSK2uHUEtm14zOOqIJ6cKw4tBqJ8uD7p1kmk16BjRqm1O+jfxZ z3nagtPlySqHwGBd9ZOrkrShhcVY73Z3IPbRSAQUphowS2oWIGf78ZoxCgW9TYm9 jw7Di4P9t++bylYg9dHNienjJmSLvL4XpAETpYiHpNMfZNf3NQEtfyh7v2xETyVt DzY0f4CPxE5/cBprg2hSB1cSEZr7/9VST9OmS9cqi1naCtbvWYhLRp6k61lHWWVn w6MdCe7EyT7heFXZiF71Dw4ef10gzxTJU4apqNwrvlbwn0gxVORNGEI9bibq+nwI pc5e3+TRuR4NTcPPrgktwTuqCx8E63tQpvaZwwz5VX4Yv8Q3JMMtzhKL7EwqPKdO aZzpfDxWcpS8DAHYwZrm7YvlT9MH56o5yKByme50mcVzFdVExZNQPIoPRxZNjrfn 3ylIEpo+3u7Ziic9OwyU92mF5sTwIcJL5jcEyRWXpHFzEW9ArGIpujHy1hFXQB6p 4ERhNCRlWUFss+KjLF6b0x2iOLCCMJ+V7kvt8ANBx94pfT19Gn3gDEhgDUVzSa2c tTqZD8ovEG3ZZCFy9ljt =yGAq -----END PGP SIGNATURE----- Accepted: frama-c_20090901+beryllium+dfsg-2.diff.gz to main/f/frama-c/frama-c_20090901+beryllium+dfsg-2.diff.gz frama-c_20090901+beryllium+dfsg-2.dsc to main/f/frama-c/frama-c_20090901+beryllium+dfsg-2.dsc frama-c_20090901+beryllium+dfsg-2_amd64.deb to main/f/frama-c/frama-c_20090901+beryllium+dfsg-2_amd64.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org