Back to frama-c PTS page

Accepted frama-c 20150201+sodium+dfsg-2 (source amd64) into unstable



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