Accepted frama-c 20100401+boron+dfsg-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Apr 2010 16:04:49 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20100401+boron+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 C source code analysis (without gui)
Changes:
frama-c (20100401+boron+dfsg-1) unstable; urgency=low
.
* New upstream release:
- Remove some patches integrated by upstream:
+ 0001-Use-GSourceView2.patch
+ 0003-Do-not-install-native-Kernel-modules-on-bytecode-arc.patch
+ 0004-temp_file-changed-in-OCaml-3.11.2.patch
- Add some patches:
+ 0002-.make-ocamlgraph-no-op-for-non-local-ocamlgraph
+ 0003-Fix-build-on-bytecode-only-architectures.patch
+ 0004-Fix-some-typos.patch
+ 0005-Don-t-modify-system-files.patch
+ 0006-Fix-build-on-bytecode-only-architectures.patch
- Update:
+ 0001-Fix-hyphen-used-as-minus-sign-and-a-typo.patch
- Bump ocamlgraph minimum version to 1.4
* Set Priority to optional
* Set filter-pristine-tar in debian/gbp.conf
* Fix watch file
* Update 'Homepage' field
* Bump Standards Version to 3.8.4, no changes needed.
* Update copyright file
Checksums-Sha1:
022bb211b2f9a0d545158f9b7565668ee64fe3cf 2187 frama-c_20100401+boron+dfsg-1.dsc
14586bbeacec11c8d9af612c32896600e30423e0 1739409 frama-c_20100401+boron+dfsg.orig.tar.gz
96baed241e6872c2653e17f29d7869ed425e0a7f 25876 frama-c_20100401+boron+dfsg-1.diff.gz
f1b6c37b89eaea1f19bcd5b2afe4f9896ee11c9c 3359008 frama-c_20100401+boron+dfsg-1_amd64.deb
9410b7a08cc48f47d334782a4100f08a509ed376 25051814 frama-c-base_20100401+boron+dfsg-1_amd64.deb
Checksums-Sha256:
cd90ee378a15dcae7ba23d2c4f7a9cc8172e046a1b179cb14ea1080c33105d7a 2187 frama-c_20100401+boron+dfsg-1.dsc
d42688a10301cb6c3fca34ce443b489bfbc98ccc16534dd26fd56612dcb29d76 1739409 frama-c_20100401+boron+dfsg.orig.tar.gz
577a4f13e67bdfe09b4d09d12081e80b35c06a1fe8d56da962536dcd27ae8b17 25876 frama-c_20100401+boron+dfsg-1.diff.gz
3c4504605e561dbf52f871a0b4771cfc3911f68970c06642d1fbdc31aa423e31 3359008 frama-c_20100401+boron+dfsg-1_amd64.deb
ec31ecdcabcfbc5f22325ae61e86c063ac9ec1d2926af16ab01faaedb9781015 25051814 frama-c-base_20100401+boron+dfsg-1_amd64.deb
Files:
84b378d5778ac1c0fc5f2e9d614ac55b 2187 devel optional frama-c_20100401+boron+dfsg-1.dsc
1875d23a09662d3f0560f7560de37dfb 1739409 devel optional frama-c_20100401+boron+dfsg.orig.tar.gz
d8bdd3f9a099eaa590109c48a4919460 25876 devel optional frama-c_20100401+boron+dfsg-1.diff.gz
2bf1d6c2cc14aac6f139d10f5ea72089 3359008 devel optional frama-c_20100401+boron+dfsg-1_amd64.deb
8a976002e66418a4932fa2d87f04c54a 25051814 devel optional frama-c-base_20100401+boron+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJL1vaFAAoJEDO+GgqMLtj/6PAQAJVJWLU3pC09Orl/qeXn0WQP
nUFbLS10fLGiGOzUGs92itKKjeibkM4LkihNimtaCCiLTRiNtqgvaYT12GNZD6Ng
F34wfAze07+G322G8n3oNbxpLRdwHyL8RcrhyycogcE0fHIpFy5/r8PythvDSoFX
3O+CYwr1uo8ym5uD79YG/G5WyBmJm7kxV7RpBaVytwjOBaLWrEDhluH1JB883qWS
zlVc6mq0TdcDJbgaxePJP8zU40nxixfLFFDhZM7cokcEPUeGQTcr9ydSc/RIjl6Q
wyuR9h2sX3X8eElfYIsT8auQloAa7KOgnSunXH5d1hlUO/D0D+oYESCjHCQyrtVj
oVtkiavbuydCIyeq50lMW/3E5QSwjrVvdPVWcrjqNH83/vUDeqdpjvgIRUKHwBLB
dvIiyYnP02i/NU6gStTjV4J4HhwHCJ5/r27YLhGsk5XLTMK3fxAZh/F4Wz/zrCV5
ZazgzWb7u4eTZ5fVCF8zkjnYFAKVnuxVV8lqpGe1XXQWE2cWp7Bq79+yjqr8n0GP
kXcJQhE/97E1WglGLRdBRLbe/SS2ekw66e8QTxM3Go27nqzNgnN8L2XvgpdstVqd
bFlXnAzq7P1sx8vVU3fsAaIN5NMrDefDAGpVJFKuoayuiVWpXhidTF3pxhaYzwNt
mHyZR2QZ6FqOhMZ4byfc
=1Y/A
-----END PGP SIGNATURE-----
Accepted:
frama-c-base_20100401+boron+dfsg-1_amd64.deb
to main/f/frama-c/frama-c-base_20100401+boron+dfsg-1_amd64.deb
frama-c_20100401+boron+dfsg-1.diff.gz
to main/f/frama-c/frama-c_20100401+boron+dfsg-1.diff.gz
frama-c_20100401+boron+dfsg-1.dsc
to main/f/frama-c/frama-c_20100401+boron+dfsg-1.dsc
frama-c_20100401+boron+dfsg-1_amd64.deb
to main/f/frama-c/frama-c_20100401+boron+dfsg-1_amd64.deb
frama-c_20100401+boron+dfsg.orig.tar.gz
to main/f/frama-c/frama-c_20100401+boron+dfsg.orig.tar.gz