-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 11 May 2018 17:39:36 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20171101+sulfur+dfsg-1
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 (20171101+sulfur+dfsg-1) unstable; urgency=medium
.
* New upstream release
* Refresh patches and remove the following ones which were applied
upstream:
- 0001-Fix-spelling-error-in-binary.patch
- 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
- 0008-More-fixes-of-spelling-errors.patch
- 0009-Better-handling-of-dynlink-detection.patch
- 0010-Add-zsh-completion-file.patch
- 0011-Fix-installation-target-on-bytecode-architectures.patch
- 0012-Do-not-use-C-CPPFLAG-when-compiling-jemalloc.patch
* Update Vcs-* fields in order to use Salsa repositories
* Fix installation on bytecode architectures
- add 0006-Fix-installation-on-bytecode-architectures.patch
Checksums-Sha1:
7d2b37806b828ef1a0d77338870d1a70a752395e 2357 frama-c_20171101+sulfur+dfsg-1.dsc
3ba8b7bf7961bd48c19895663392ebff37cde069 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz
577606b7ee5d011d0c63768296c8d5f127615796 23880 frama-c_20171101+sulfur+dfsg-1.debian.tar.xz
20e3f70c94081a23b57a662128f2741ffddd8c9a 1572756 frama-c-base-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
8b209a00198cd61408df9ae896fb432192fb3092 22323912 frama-c-base_20171101+sulfur+dfsg-1_amd64.deb
da286c9cd60fa861dbd446bb8476fc19f9c3b9b6 1596292 frama-c-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
fb543701fdc4a1120e026ca885489299f242c293 13600 frama-c_20171101+sulfur+dfsg-1_amd64.buildinfo
2045e30d1c396589fecf507af7d0304d8d15af8e 12344496 frama-c_20171101+sulfur+dfsg-1_amd64.deb
Checksums-Sha256:
21ad8def7bd32e1653c8f4bfb460ef5e244e6a53d112d09a4cea92d554cf2c2f 2357 frama-c_20171101+sulfur+dfsg-1.dsc
8535fc12dbef6d92e843bd4cab715f8fa9b423546db992a182e0be7970b57b04 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz
dbe7886962b132c0f74c927b4bc6b4881ea0efad1a9a3070e1bbf73ae4831ff0 23880 frama-c_20171101+sulfur+dfsg-1.debian.tar.xz
41bc48fad767f5946efd9d06a189b76f7a0dc155f18c08893dfa225f44572e28 1572756 frama-c-base-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
8fd3d152f110a1d94efa8ed9f92ca9f9c1cf0476747dcf34bc8e02a8a42700a0 22323912 frama-c-base_20171101+sulfur+dfsg-1_amd64.deb
6310e3820fc84b6977043219781224219fd595b8e38d32bf1e273f320af54060 1596292 frama-c-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
5b8136b3d2518de722dbe67040cbe00f4bb23dc356ad35ba038d1f38108a3cdf 13600 frama-c_20171101+sulfur+dfsg-1_amd64.buildinfo
0df3d6efe0e5b5af24f0729db162eb2ce868e75241d18efa9b162f63e55d787f 12344496 frama-c_20171101+sulfur+dfsg-1_amd64.deb
Files:
f4a593a431b8e8ad5f6a39b58cbd16b7 2357 devel optional frama-c_20171101+sulfur+dfsg-1.dsc
38d0f2a2a25810466937f30320bf1a5d 7121720 devel optional frama-c_20171101+sulfur+dfsg.orig.tar.gz
821ad3750788a6fc7012282a798495b3 23880 devel optional frama-c_20171101+sulfur+dfsg-1.debian.tar.xz
a58969d6b47ae159492322b274c0d781 1572756 debug optional frama-c-base-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
06b883ef5415c3f54afa8c3a8107db2b 22323912 devel optional frama-c-base_20171101+sulfur+dfsg-1_amd64.deb
27045a3e8a49e68488cc5f0142d6c2f6 1596292 debug optional frama-c-dbgsym_20171101+sulfur+dfsg-1_amd64.deb
7802d0297973d394c767e09fa655fd49 13600 devel optional frama-c_20171101+sulfur+dfsg-1_amd64.buildinfo
2e89c323dd505416fd5baa3081054a75 12344496 devel optional frama-c_20171101+sulfur+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCAAvFiEE/IeFmw45V03XKU7GPfRgADmhQMQFAlr1048RHG1laGRpQGRl
Ymlhbi5vcmcACgkQPfRgADmhQMSoPQ//cXa/ACgFpAzFq4tDViEKoIb6sIJOjT0q
96wPqWT6bwnJmovg4KwKPOkUyoyfw+/sWNNqD/x4C1o5pl9z9NHw65ue6Ck+Q7aY
w1agIZyVbDhNacxjxJxS4kHRf3a19lTcJR1ShHjDcHHB90jPs/C5uiy172e3CVwY
DPrjKl336H1cB6IitFHtzRpspcvq8PG9LJdBD5IZR8DZsr8uwm7Pn0FBAPFUfjyH
hwr/GzPKDEN9u+UB3tyA0vuK/Kh2gl0F4akmG2JPjF0njUIgaC4cc5CLxDzmiBQT
tWNwZ1a91GM0eb186RNnyHQ4rH7BY+fg7ofarR3SUTLcFs08Kh9ehfWXVV4DwKUZ
wZMzqMEWoDRpOR1tz1UCKfyzj6ncwZhQ/64UipCgs+4jyXKpHuj6hlDc4UIZHQUv
+eMV0j5NmCXMcTTUbzsn1fmHVugvzsY65bqzeUOyFqJBiqqWEsfJIHDEmOijMi6n
psL93ciJ5LWnoRzxs1gm7GXSFf6H1+09IMJ/J0utpQAjNrGhyKsVerxhhPYdznqH
2owSOUlbmBXE3QFxRNf5wRI+c41GyCw2rl8pEw0uxuP5CTjAZWfGCz7HSR19SLAJ
D5ucmdC9fACVg0shlksUnDwb86gFIjneivOgEGvX3gGVnkf0DCtAurcNjGGaOy7I
d/B+zqlp1uA=
=ZkfK
-----END PGP SIGNATURE-----
