Accepted frama-c 20090601~beta1+dfsg-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 28 Aug 2009 14:53:52 +0200
Source: frama-c
Binary: frama-c
Architecture: source amd64
Version: 20090601~beta1+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
Changes:
frama-c (20090601~beta1+dfsg-1) unstable; urgency=low
.
* New Upstream Version
* Use Debian mail address, Remove DMUA
* Remove patches integrated upstream:
+ 0001-Gui_includes-variable-should-include-ocamlgraph-too.patch
+ 0002-Make-the-jessie-plugin-compatible-with-why-2.18.patch
+ 0003-Correctly-detect-jessie-plugin.patch
+ 0004-Using-graph.cm-a-xa-instead-of-graph.cm-o-x.patch
+ 0007-Add-a-variable-for-ENABLE_GUI-in-Makefile.in.patch
+ 0005-Full-path-for-ocamlgraph-cmo-otherwise-Makefile-will.patch
* Refresh patch:
+ 0006-Do-not-install-non-existant-files.patch
* Remove debian/man: Manpage integrated upstream
* Build-depend on jessie library 2.19
* Remove patch rule which is now implemented by dom-save-patches (now
part of the package dh-ocaml).
* Do not include uselessly the file /usr/share/quilt/quilt.make in
debian/rules
* Build-depend on debhelper 7.0.50 since we use overrides
* Bump Standards-Version to 3.8.3
+ Add a README.source
* Build-depending on a particular revision of libocamlgraph-ocaml-dev
is not needed
* Install frama-c, frama-c.byte and frama-c-gui on native-architectures
and frama-c and frama-c-gui on non-natives ones.
* Update README.Debian
* Update copyright file
Checksums-Sha1:
5d9b4e7d733a05ad26d0a4382763e476e0bce53f 2185 frama-c_20090601~beta1+dfsg-1.dsc
f2214f6af0683dffa36fc94dc088456a79fe2e8b 1755099 frama-c_20090601~beta1+dfsg.orig.tar.gz
f4bf29fa7898aff8cee037e50bc9b001795dda9e 19273 frama-c_20090601~beta1+dfsg-1.diff.gz
8939fd8fcbf937efd254a5c1f04daa78bc94f49f 8289478 frama-c_20090601~beta1+dfsg-1_amd64.deb
Checksums-Sha256:
68fb5d15300035af708e8e9ec6537142155c3532ccc0bb9d18bec8c81ed89544 2185 frama-c_20090601~beta1+dfsg-1.dsc
defc1f3ca9f01c2abd11f05990c3f350929e8593ff535bb5f35373b9d067aa30 1755099 frama-c_20090601~beta1+dfsg.orig.tar.gz
cb3c1814a76d4bc1dd50d750458423f3e0ddf59d9b8f67e9a776a01013969f99 19273 frama-c_20090601~beta1+dfsg-1.diff.gz
3c561421d79b3380088f9b857e7852b3aa6857899a20293100272f69f96fcfe0 8289478 frama-c_20090601~beta1+dfsg-1_amd64.deb
Files:
f621c1fcced242e85336de05f6cc1f4b 2185 math extra frama-c_20090601~beta1+dfsg-1.dsc
6a6cd8388211db9a5265167f93ec57f5 1755099 math extra frama-c_20090601~beta1+dfsg.orig.tar.gz
147977dbdfcc407d707d96e3b16de624 19273 math extra frama-c_20090601~beta1+dfsg-1.diff.gz
2fa304c71931661293f61452fa65885a 8289478 math extra frama-c_20090601~beta1+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iQIcBAEBCAAGBQJKmPbKAAoJEDO+GgqMLtj/QHIQAM+L+Q1ck51cATMmzbdyuooY
ZKfypOWcGGZfjuZlr17GKd1YMyEeO7VVhb4Uo/IOZQynK7HZbXA76pFtgySBaDzR
g6uYRe1cT7D4tBmVVcSZ7tpHS0/67SolxcPWqWypw8QBQYy6N4QvPeJ0yaVceMfQ
vGDUErgd77J1KG9IScSqSmoKQzQivYQ8MbZUBLy1QddCXXNqZ1kdenj8v+/gdgA5
x40V8HzKxnVSbSpUKJ4ucprqBJKVp3K2DIEIUP99xo0HpDTqH4Kt33cv9Y+iXo8B
oHIpAP0gy8b86+sjgQsN0bZ492DHlQJOd8a+o4BTV+8b2pLoPLNgaTPe/DAZXU2A
d8HliTgYDDTgyfjJIJvawBy+31C/hRXqhJ7wz1FfiZ3qxrMFs9RyCDu+BynzeILk
xu+pf1pJTTyn8qwOgiqq0BsgJ4knub9lF895eFAI1ZIrfitK/1o32g0BFhmCOyou
IUhrP4NYh3UVCeap/cpBr1syGKwjUPXTbAOhBdPz4G2oPGGnOG2r9bQnE+DYepxP
cP4GaTWxOb/qDtP0Ann9UxLv0d2NHU2kUrbTF90l2Dv9It5VpjiTAiZKmXH7iSTt
g1BU1DujcFGCj9wB1LFJ7WXv1krTEyZS6LGrNK5U/42EvNAZfvKZQOvPRU28fOkj
6kUadyPJVUD+7420ih0c
=OWeq
-----END PGP SIGNATURE-----
Accepted:
frama-c_20090601~beta1+dfsg-1.diff.gz
to pool/main/f/frama-c/frama-c_20090601~beta1+dfsg-1.diff.gz
frama-c_20090601~beta1+dfsg-1.dsc
to pool/main/f/frama-c/frama-c_20090601~beta1+dfsg-1.dsc
frama-c_20090601~beta1+dfsg-1_amd64.deb
to pool/main/f/frama-c/frama-c_20090601~beta1+dfsg-1_amd64.deb
frama-c_20090601~beta1+dfsg.orig.tar.gz
to pool/main/f/frama-c/frama-c_20090601~beta1+dfsg.orig.tar.gz
Reply to: