-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 01 Jan 2017 17:28:41 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20161101+silicon+dfsg-4
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-4) unstable; urgency=medium
.
* Fix FTBFS by avoiding use of PWD variable in Makefile
- Update patch 0005-Value.cmo-needs-LoopAnalysis.cmo.patch
Checksums-Sha1:
3f3b99ad9ef220e23830d327d105ce0ec341def8 2408 frama-c_20161101+silicon+dfsg-4.dsc
9b8c4861efb083f5f2a6237a4d1271160ca7e9dc 26856 frama-c_20161101+silicon+dfsg-4.debian.tar.xz
2bd5dbd39549909796ba4a76d605b4bfa5da207d 1056648 frama-c-base-dbgsym_20161101+silicon+dfsg-4_amd64.deb
006f86c2cd5485516d49b09d1006f73cda43f372 19999658 frama-c-base_20161101+silicon+dfsg-4_amd64.deb
43acbee5999410e329708b372eeb8181ab1b2106 1097712 frama-c-dbgsym_20161101+silicon+dfsg-4_amd64.deb
950fce29155035c32af6a047883c20594294d9e8 14858 frama-c_20161101+silicon+dfsg-4_amd64.buildinfo
f5200177277561391aa13d807ec1f0d201929852 10610234 frama-c_20161101+silicon+dfsg-4_amd64.deb
Checksums-Sha256:
ae41dbe5e9bc71f6f085bf44cf0424771389d63799220a8b56eca316394770b5 2408 frama-c_20161101+silicon+dfsg-4.dsc
90c19bc3886678d40f01ad65d7905d83b5eb0c8b44b8f094af20718be4c994a5 26856 frama-c_20161101+silicon+dfsg-4.debian.tar.xz
b054711d423720cc5772385ce800d4a949ce455fea32b9e9147ef4708af15840 1056648 frama-c-base-dbgsym_20161101+silicon+dfsg-4_amd64.deb
e36ddcd40cf43d0e01750829131229f676028f913aa2f19e417017d2b6b923ec 19999658 frama-c-base_20161101+silicon+dfsg-4_amd64.deb
00bb5d3394ac123fab0db51536c686b97859086435781fcd6b75aaf34a36b3cb 1097712 frama-c-dbgsym_20161101+silicon+dfsg-4_amd64.deb
4ab2fe7a13e2562856cf5e4ddde90b0f1d212caa324c7088145b105f201200f7 14858 frama-c_20161101+silicon+dfsg-4_amd64.buildinfo
98c8922172fb3361d870f3c4ee70e284549782ffff07bce42f6bbcc6d2d16b5f 10610234 frama-c_20161101+silicon+dfsg-4_amd64.deb
Files:
a973b1f6171ee36a5b12583e96b9d582 2408 devel optional frama-c_20161101+silicon+dfsg-4.dsc
38dc8a801d9fd64bc6b7af8cb5373fed 26856 devel optional frama-c_20161101+silicon+dfsg-4.debian.tar.xz
f557b58c74e8cf87a30204fe3cee6a37 1056648 debug extra frama-c-base-dbgsym_20161101+silicon+dfsg-4_amd64.deb
3e96034c1eab61cb08d562bf91f48837 19999658 devel optional frama-c-base_20161101+silicon+dfsg-4_amd64.deb
79b42138ff4b35caf904b98ef038a907 1097712 debug extra frama-c-dbgsym_20161101+silicon+dfsg-4_amd64.deb
35bfae9a6539c76772c5591c8022e01e 14858 devel optional frama-c_20161101+silicon+dfsg-4_amd64.buildinfo
6d9adf4c149e39906dc3bc90eab09f46 10610234 devel optional frama-c_20161101+silicon+dfsg-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlhpL6wRHG1laGRpQGRl
Ymlhbi5vcmcACgkQM74aCowu2P+AuQ//YUzi4o6w7qyAjgE29v1PaThBH2JSDf3U
BdoB/gfzBNKBje6HVLm/bCuGxqaWbe91nhQvkQj6p3KiwFvgS9BNI381AA55ukfJ
rYgwQ/9Ww9teUg+l86W0w3YJT5rrd8gv2Yd9KguLZm0DtdnVwS5M4Ug0HgJ1AWoZ
0RHVohjLsF9EB6YJpSG141ZfT0olG2pos4kzGycA0sj3fZ/rinDzIz1g5EOQfkrj
tXdQhUVfxP1kPrDwAfkcDhmLc3hAmn/UlujrnQ5VxgvP6YWLgELBAQyXle5JQ8OD
/tVCEvAid1OVW0Wsuwav7EHCzTgfwxQYbfNpcpNebXSp+T0WNSPKP08c3qx8VY4O
rLgWkKcldDZgLhNxYOl0cgMagazfBhv6BjrQeBr+8yBwF4yyqcSYXhv+FqzxIONY
G8GjXFypT5XFLSRjJeiuTEvra1f9iEMioPysS3ukEJGgX7DYNRnBOE1yrGNVUko+
CskvBexN2ujFHdcnUhbZTAlq5afG3Zmjvcae/g3Slto1q+A9+DA5UAGuy60nAzhT
r2nsGG4JIn7hOEN8R/5DMy0zhUhAkmcOujZ5Cg9UxbKu6fkOVE//Xz+6jUliZyL3
Mgz8imphTEShqGrdVej7BAonufuti1AGyD4Yf+3xAGuKmBmgVVbO7gBuVq07hMr7
WOB5P8znPUw=
=n2Sg
-----END PGP SIGNATURE-----
