Accepted frama-c 20090902+beryllium+dfsg-1 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 10 Jan 2010 22:50:18 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source i386
Version: 20090902+beryllium+dfsg-1
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
frama-c-base - Framework for source code analysis of software written in C
Changes:
frama-c (20090902+beryllium+dfsg-1) unstable; urgency=low
.
* New upstream release
+ Remove 0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
(fixed upstream)
+ Remove 0003-Add-dGraphView.cmo-when-linking.patch (fixed upstream)
* Update copyright file
* Remove libjessie-ocaml-dev from build-deps (Why is not needed anymore
to build Frama-C).
* Run dh using "--with ocaml" to trigger dh-ocaml sequence
* Build-depend on ocamlgraph 1.3
* Add a new binary package: frama-c-base
Checksums-Sha1:
2283bd95607281a4e21be1684f47d1442cd36bf5 2208 frama-c_20090902+beryllium+dfsg-1.dsc
4f12d2d6b1c24e4077758707aba14c64858a482e 1581288 frama-c_20090902+beryllium+dfsg.orig.tar.gz
57112fe88b931c4108b3496abd22c68d0f899a72 23000 frama-c_20090902+beryllium+dfsg-1.diff.gz
858c2226f0157db6206e73307bddf78698321b72 2788292 frama-c_20090902+beryllium+dfsg-1_i386.deb
b6927544e97a60d673a9c073bbc22223f6bb193f 22380096 frama-c-base_20090902+beryllium+dfsg-1_i386.deb
Checksums-Sha256:
ed4ea587bc14db3e45613c3a2a349b64c0c1addc4e52589ffeb89e850e97d6ad 2208 frama-c_20090902+beryllium+dfsg-1.dsc
9f387d3323e70cbce98192f11c0340d46cde49545cbe82e9f50b80c4da45ac4c 1581288 frama-c_20090902+beryllium+dfsg.orig.tar.gz
6b46fab129508eea81339c60a8705d393dbfcfbe244d37f9ce3e68507e70e268 23000 frama-c_20090902+beryllium+dfsg-1.diff.gz
a20f3d9f3d885d724e42789fca1672744539ac60f31b70fd0f8a55b862ec57a0 2788292 frama-c_20090902+beryllium+dfsg-1_i386.deb
98f9dd54075c8e636821d98864c28ccf49cad0734436a1723d513eee995f88d9 22380096 frama-c-base_20090902+beryllium+dfsg-1_i386.deb
Files:
d8740b2427b03b6d982d65e85ade557a 2208 math extra frama-c_20090902+beryllium+dfsg-1.dsc
d947a9dec0b1fb06a171da7bc2bd1eb4 1581288 math extra frama-c_20090902+beryllium+dfsg.orig.tar.gz
879e7a241d8868c818b7721bdcd56fdc 23000 math extra frama-c_20090902+beryllium+dfsg-1.diff.gz
60c10154f3e25a76fe47763b898cf0bc 2788292 math extra frama-c_20090902+beryllium+dfsg-1_i386.deb
8edad44b7b60a91cad6b54afdf6926d5 22380096 math extra frama-c-base_20090902+beryllium+dfsg-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJLSvhFAAoJEDO+GgqMLtj/LLIP/19jrV1eYPKE5u+bgBqyriP9
vfeR2/w+ocBy46ZjhWi1rheb1zR32OfBBRq9GzSP7VV3jveG3gIJem4GShXVn3PD
HUL2Fog4BbBTgDCE62yL3wNg7mGVTakpAA0WVqFplWqP3dKtfI44jQIOl5749SDe
xMMfuzleaGnSxtzwf+WFxd23UjvUD47ei1XqIKZU+dIZMNaZTgq75WTMjYzl2VAV
oxAhJ4WasAtXCQNiEz2FiFe/1reV6USGIiaDR/xuH8buzQTcKZeMea1CZtPqrJ0w
rCkoPMy7DX8YAv76VogXHbwluzsPRZMDdmlye6pNpdRU16mcqgsu+5fHV/is518E
ExUR67SCf+Mubhk9zCsx2wt1lAi3WW5O+e+o8VSHXZQl7qhMnReQoVRf//jRdhNc
/dNWzxt7dHu0rwuBFzS6ZWpQGMiTzzXJtoCa3HWjy78mpORj5byjHOPtaprNpy9f
K1jXJXsA1k6sMtjn/gviKSwc8P6BznQpIiTOmy4gqXvgCvpMc3LrbaqKzRlKKe9o
KzdJKPaBtbuYOnFDC4WPn6S2hYvdnkCOUAL02soZ8/+QAeDlbQvQFyms7vMg24an
+N5rEBqW80x7FDfl273LfWS7Z0fU/jlIJswLbEfaPEw44Gz0/nBZsr7nSw+1qJfZ
VLfR/zrioYnbwRDtdY14
=zoTG
-----END PGP SIGNATURE-----
Accepted:
frama-c-base_20090902+beryllium+dfsg-1_i386.deb
to main/f/frama-c/frama-c-base_20090902+beryllium+dfsg-1_i386.deb
frama-c_20090902+beryllium+dfsg-1.diff.gz
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-1.diff.gz
frama-c_20090902+beryllium+dfsg-1.dsc
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-1.dsc
frama-c_20090902+beryllium+dfsg-1_i386.deb
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-1_i386.deb
frama-c_20090902+beryllium+dfsg.orig.tar.gz
to main/f/frama-c/frama-c_20090902+beryllium+dfsg.orig.tar.gz