-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 11 Aug 2017 14:06:33 -0400
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20170501+phosphorus+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 (20170501+phosphorus+dfsg-1) unstable; urgency=medium
.
* New upstream release
* Update copyright file
* Refresh patches
* Add patch to fix more spelling errors
- add 0008-More-fixes-of-spelling-errors.patch
* Add references to upstream bugs for some patches
Checksums-Sha1:
386570a81b0e05e6e9cb6c214725150809fb7977 2429 frama-c_20170501+phosphorus+dfsg-1.dsc
f7ad3fb1a821ed77505bb782500fabd41a1b9bab 7420018 frama-c_20170501+phosphorus+dfsg.orig.tar.gz
755c76e559bc969516cfae5c56631ac6abc057aa 25488 frama-c_20170501+phosphorus+dfsg-1.debian.tar.xz
36729e2a87a2992d711eabdbe77f939d4c3244c4 1089772 frama-c-base-dbgsym_20170501+phosphorus+dfsg-1_amd64.deb
1e4cd4fd754348e1cc54d360c9e2d2134487bd98 21029904 frama-c-base_20170501+phosphorus+dfsg-1_amd64.deb
81ccd36b9f8e46caac08ab9ab2411a5704f66b89 1121974 frama-c-dbgsym_20170501+phosphorus+dfsg-1_amd64.deb
1c740104154797ebd03b80bf403f18019b966726 13567 frama-c_20170501+phosphorus+dfsg-1_amd64.buildinfo
a37c7c04e6a7962ff8e22668fd0880551be8bbbd 11106910 frama-c_20170501+phosphorus+dfsg-1_amd64.deb
Checksums-Sha256:
204bfbd1e3116b728a1480583b703253088db0615a7297e2a4a7c96e479776a8 2429 frama-c_20170501+phosphorus+dfsg-1.dsc
21eaa52b6163cdae92475d803ae165d4bea231ec9d71a37fcc2981a110453733 7420018 frama-c_20170501+phosphorus+dfsg.orig.tar.gz
6d00c6a547f535fb53b83274d80961699b091831f4e3c1cf44364aef2fcf9732 25488 frama-c_20170501+phosphorus+dfsg-1.debian.tar.xz
cd00192a05124ee5742ba5a4cbf728f36698ff2c9bb2cf6bbb27f1bfcabbe7b1 1089772 frama-c-base-dbgsym_20170501+phosphorus+dfsg-1_amd64.deb
6a62f39a132d9718379c7bcebc3a32177de9a733f9678db19f602a7235ae0cd0 21029904 frama-c-base_20170501+phosphorus+dfsg-1_amd64.deb
41d609434e8acc1d14643320838bb289337503e2cb1948148feb2b59565522da 1121974 frama-c-dbgsym_20170501+phosphorus+dfsg-1_amd64.deb
549879bfbe61fde590451d3a3bb0ea82e41057add6af501eef1bf41213351395 13567 frama-c_20170501+phosphorus+dfsg-1_amd64.buildinfo
2c73422a6a3c5e34bb02115a49ae411afb01c1762ccc215bb565918cd2fba469 11106910 frama-c_20170501+phosphorus+dfsg-1_amd64.deb
Files:
fde1596ee0098b923470475cc182fbd7 2429 devel optional frama-c_20170501+phosphorus+dfsg-1.dsc
3e1e42c81e33712ca09a0fdb29b16db0 7420018 devel optional frama-c_20170501+phosphorus+dfsg.orig.tar.gz
273840e592fdb302ff3e2465ff7d67c3 25488 devel optional frama-c_20170501+phosphorus+dfsg-1.debian.tar.xz
a36828222be18f0daea467b8b3f4994f 1089772 debug extra frama-c-base-dbgsym_20170501+phosphorus+dfsg-1_amd64.deb
89d05cd334c7a7ca094bce4693d66b2b 21029904 devel optional frama-c-base_20170501+phosphorus+dfsg-1_amd64.deb
4a2406e2f7891afc1902c797c3dae38d 1121974 debug extra frama-c-dbgsym_20170501+phosphorus+dfsg-1_amd64.deb
ff67065ed82ea380f66b19a739d8085c 13567 devel optional frama-c_20170501+phosphorus+dfsg-1_amd64.buildinfo
26dd0ab153e0a13e193867ba1979d0ce 11106910 devel optional frama-c_20170501+phosphorus+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlmN+B0RHG1laGRpQGRl
Ymlhbi5vcmcACgkQM74aCowu2P80jA//bMWQwvoaL7N51ReIBVpmxN33WPF/fzEs
9rtPiqQO6iULNj8vRRsX5EM0CG/EevudABYJ9ROEQ3SEkQHcahvCqV0Yg6T5A5A9
1P7AJc2aXV6/of8eBBH0Djkm2kxq0/oswbQ2TLsFzETzqnjmaohNTahtEyeEOLZ0
V7Bx+HxAP6RU2Q3ERXj9JFyxM6Gv5BMvfN2gIRiAJjOL+xs/116AUlJJ/4JVPAkn
YT9IYbcbmeL5N+AbDpdx3S65keBv8ClBdIjAS+3i+iPQCfv/4HLgkaVzoP2G4Ekh
6tgV3fKIO5yI8+IYxFpfxoWc7von7sqJrQAZ0vXE1r3JM6Zr8zfqKtarWDTvcU9V
szKMDjU9Tf6u5Ns68ZvBwP/vLk0sLMoxbALpo37beNmw0Cah1VB1GXdkj8W72YKN
p7e08rQuYMNyNRabwMmPwO3j7NPGoxenhjao6d+nkQHS0tagR7v0pyZK6R4yNl3a
7YoUjhTopNw8oekzU5Q83MuqJ8y5G3BrFhvnZy1+QhYkdBGr2sjJmGcEVSEwZ0vT
kBa+MsQ0Md3lRfqUf48p4a9K27js5/2lPju6sD6XCUefOP0MdKwHVp4hRbfa537/
fmu8Y7DEkeWMtvg0TFP5G2yj5AzTcq/d7+SACDysECLV3SUYKgRQ+EkC5EmU3eVX
3X4D0FGO4Sg=
=9cln
-----END PGP SIGNATURE-----
