-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 21 Dec 2016 14:17:38 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20161101+silicon+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 - Platform dedicated to the analysis of source code written in C
frama-c-base - Platform dedicated to the analysis of source code written in C (w
Changes:
frama-c (20161101+silicon+dfsg-2) unstable; urgency=medium
.
* Disable apron
* Add ocaml-findlib as a dependency for frama-c-base
* Fix build on bytecode architectures
- add patch debian/patches/0005-Add-a-section-for-LoopAnalysis-plugin.patch
- add patch debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
Checksums-Sha1:
6ae68d7bd6e14e135d436c2045c16d4c9c49fd27 2412 frama-c_20161101+silicon+dfsg-2.dsc
61286ec8ff49814efa353073714c881cbe3386c8 26664 frama-c_20161101+silicon+dfsg-2.debian.tar.xz
105ff9083f5fee4ef9aec653f6b5f8240fcb94af 1017618 frama-c-base-dbgsym_20161101+silicon+dfsg-2_amd64.deb
63857df18e148ec08aba1a46d138921b85f68af8 19841066 frama-c-base_20161101+silicon+dfsg-2_amd64.deb
82088a5e694fa148d3e60d9fe1da6fb116844781 1091414 frama-c-dbgsym_20161101+silicon+dfsg-2_amd64.deb
7e0b7756e75e9cb18a5d60321780af0b38acb125 14861 frama-c_20161101+silicon+dfsg-2_amd64.buildinfo
ca7a1fb96b2dd3da3d5bc04a9d449aef55a0b0cf 10498440 frama-c_20161101+silicon+dfsg-2_amd64.deb
Checksums-Sha256:
1324762d09cc8d2f66164dc4f921891ebc63c4a0c8adf920711e2ee07e78b44c 2412 frama-c_20161101+silicon+dfsg-2.dsc
329864b022eac1a4bc372c366462f14ae231b176372578e13f55a3b32e4a12ee 26664 frama-c_20161101+silicon+dfsg-2.debian.tar.xz
8537cb4a964b504ecb332065d8d26a980e449720d67662f6078a9b05f06bf7af 1017618 frama-c-base-dbgsym_20161101+silicon+dfsg-2_amd64.deb
cf4e5ec9787db3a780455e224703d2b3546537f18ae4632d68c0044bd3939fca 19841066 frama-c-base_20161101+silicon+dfsg-2_amd64.deb
186208078317b1a238c43f3765792f46be1a9b1ce32dd003e3ddc782d280b2e7 1091414 frama-c-dbgsym_20161101+silicon+dfsg-2_amd64.deb
132be26e906f7988dfdbeb688ea8046b84c43a81ec80c1f885fb30f8baf3a8e3 14861 frama-c_20161101+silicon+dfsg-2_amd64.buildinfo
3069292392d72d8286403f98234a1146464cf1e4bd89a516835ccdbdb8877505 10498440 frama-c_20161101+silicon+dfsg-2_amd64.deb
Files:
706b2725afca0a69b026e5b44780b3a3 2412 devel optional frama-c_20161101+silicon+dfsg-2.dsc
4d55bab0b3b5dfc1648f87103c4856fb 26664 devel optional frama-c_20161101+silicon+dfsg-2.debian.tar.xz
c3cc77db4d924cfeaeece9697e701a65 1017618 debug extra frama-c-base-dbgsym_20161101+silicon+dfsg-2_amd64.deb
109ea47770bddda0c282c60c4eb41ac3 19841066 devel optional frama-c-base_20161101+silicon+dfsg-2_amd64.deb
12dd59c0bd3a53bb53f398fac17bbc18 1091414 debug extra frama-c-dbgsym_20161101+silicon+dfsg-2_amd64.deb
7ce264aebda8f2fe00c050247c6ba98c 14861 devel optional frama-c_20161101+silicon+dfsg-2_amd64.buildinfo
4c55caccc56e4776e03331fc56679c31 10498440 devel optional frama-c_20161101+silicon+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlhagr8RHG1laGRpQGRl
Ymlhbi5vcmcACgkQM74aCowu2P8wvg//TlMADZK0hNZmdnwCq3C0n8GysY16puAo
+U463wDliKAIdhDFjM5vn7oTInksZBY9tjtAhC9MuGVwnI7DJLfdVGtpDwb7K9ep
gMKnAogWOVHjpw079YzB0xr+Og9h6EqmpKgAt0+JPybgkMyutUTSbJd9cm6qX9t6
YMek/2zKEtUodwQm9bzQkdZZAcjhGDx53Ci+hj6G3p4MHrgTz9Qj/WgIw0+CrjyJ
1T/D+VyGkR7j9BoPL5TQbIrU5tKlmDYQR8XO0dUtyGKXksBa6zJgYyJVWowU4cB9
YHb4QsLopae16rBj8//Cnt5KKXTOt+qWvXZEHgh0gl25WHh1g6XG/n2d6dIeyhHA
v6PR4IlqhM57dlylicieTPw+RWowGK8cxXOeypQRqaqfHASKTFCfD/zwhqYPLAYe
8Wf2B9A5fQlp0a6/w5zFXtU/lujwkSvqI6aZ3U8H3wnN526jIldbfqGXx2KSIBeW
5yDbQuwfuYlaxJtdroX+rn9wW5Wa3i6V3oFjz87A/aLCDznzwo8maSC0Go+d3BFW
MDL3iplLw/8cn3NANWQW3ego6rVDDtfF1o+qqVHUpyiyhOT1SA+Z+ztzbTgm52Hj
/zTqLvscbVL1xVZBoC4o9yxX1cQo42hp+xILoZe5Wod0E/ibyQAS+OESX+rQKaiY
KN8+vdnh+1s=
=sD32
-----END PGP SIGNATURE-----
