-----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