-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 01 Sep 2015 19:34:32 +0000 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20150201+sodium+dfsg-2 Distribution: unstable Urgency: medium 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) Closes: 797695 Changes: frama-c (20150201+sodium+dfsg-2) unstable; urgency=medium . * frama-c package must Breaks/Replaces older frama-c-base package (<< 20150201+sodium+dfsg-1~) since files were moved from the latter to the former (Closes: #797695). * Do not try to install plugins on bytecode architectures since they are provided only on native architectures. This is needed to fix FTBFS on bytecode architectures. Checksums-Sha1: c92f82ac68278f786bee77d05af4ca35b85b6ec7 2313 frama-c_20150201+sodium+dfsg-2.dsc b03c2695dc0bacd853235db90c9b5a6c9b5a8d0f 23432 frama-c_20150201+sodium+dfsg-2.debian.tar.xz c9ede70c000856c69c2e123e17d90a00f5426f25 17671830 frama-c-base_20150201+sodium+dfsg-2_amd64.deb 176dbdf705cb87e6109bda857929330a3af9dc1d 7276572 frama-c_20150201+sodium+dfsg-2_amd64.deb Checksums-Sha256: 8bf7bd6958a78c44723655a40d55a02660981a8ddce4e21381faa819974952f1 2313 frama-c_20150201+sodium+dfsg-2.dsc f2898efc06f4b7e0901fba2ea3db7aef895077d38eefb833c255fce42cf298ea 23432 frama-c_20150201+sodium+dfsg-2.debian.tar.xz 59367b0d8925417b53926e1a585bb493d51c28e75b8806bf662ec6e08cf4c262 17671830 frama-c-base_20150201+sodium+dfsg-2_amd64.deb 1b18098b7bbdceafb54786d16033225b0548452c942abb0c017b390c1a36115a 7276572 frama-c_20150201+sodium+dfsg-2_amd64.deb Files: 6d06b3154f9372e9182442364502415b 2313 devel optional frama-c_20150201+sodium+dfsg-2.dsc d938121e6f55844e98f0411967b2f5a3 23432 devel optional frama-c_20150201+sodium+dfsg-2.debian.tar.xz 8ccb6fa212afa0325dc900f36f6b5208 17671830 devel optional frama-c-base_20150201+sodium+dfsg-2_amd64.deb 94ccc8da11e6c3e6c78c9a6fdf1e79b5 7276572 devel optional frama-c_20150201+sodium+dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJV5f/EAAoJEDO+GgqMLtj/O3cP/AuHyo1WrgO84DiEwc/NBBdf ESJnVD40aNbEqa0xV6XNRYrP6pENIZlHM1LUBR8DFyH9rAiITsBT7aYqYQxsMJ0j EvM/TCmVbSjxo3BnMBV37radUgGpbyVprczsDmsYXaVrFogyUOw1OytlO1Xq77LJ EIDRHbexfUeP2DFDjBWEyz1YHWqTwcGw1pnSx2ox/zV9rYzKYd1sNjXPsQE3RFgo zTAFl1sNTWcEDiMP0syO4Kw2MyCoPpPH9ubxndihWzLhR0c4KznVrKyK6/RMbrjo 1Y/ysdq6SATWVfW7YzJn4u3KVmP/cLslKtSINhrnmXgMZ1hza6r7G6PaWjzI8/uM 3N9bcVjE/y6PUaJmTnRI6qKwo67klNNhFJ22PGJJeF3Xar7OkbOWAt1e1OGpeiVH 3FYpi3fzDXxqMoEwUTyntSAXXDzOsuUcq0eaqa0mcNrQtrMtfdhtI8MEz1IBRBuO db6R6yJafJNHIzdFhk7y09iBPkekn4Nbon2ZonWzMwFI9hcizrvPYN6GbOXgIeVf dPiuRHMCs6rmol44C+FIfq/umUeIfU8732kJc+2sibm9R1RcLWapYGMC54fBq8TZ PmFqGbgrXydFu/St8lh23oz1qCD4yhC2taZW+ZjrdrGlpLAPheOy3thHypiKIHct T55+yD4+ERIvWmTj+6vS =L0v9 -----END PGP SIGNATURE-----
