Accepted frama-c 20090901+beryllium+dfsg-2 (source amd64)
-----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-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@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
Reply to: