Accepted frama-c 20161101+silicon+dfsg-5 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 15 Jan 2017 13:00:55 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20161101+silicon+dfsg-5
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
Closes: 851104
Changes:
frama-c (20161101+silicon+dfsg-5) unstable; urgency=medium
.
* Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to
frama-c (Closes: #851104)
Checksums-Sha1:
1d07c56da35a2e7660de9d58fdf066efc1c0de81 2408 frama-c_20161101+silicon+dfsg-5.dsc
cbe5a0c5043dce94e8f36dd0ed5412af76f22cc9 26904 frama-c_20161101+silicon+dfsg-5.debian.tar.xz
87c6491ca48b5168c48c398d67b8a03db9041185 1054358 frama-c-base-dbgsym_20161101+silicon+dfsg-5_amd64.deb
467132312c47554ad4c60343390a4d0295eb4a6c 19985076 frama-c-base_20161101+silicon+dfsg-5_amd64.deb
62d16908c99db2e95fd770b341b2e8134eeadd1d 1105508 frama-c-dbgsym_20161101+silicon+dfsg-5_amd64.deb
d1643d5e8d6b493fe5f4f259c2cce8eed2887c53 14868 frama-c_20161101+silicon+dfsg-5_amd64.buildinfo
87bc40ee33dc29c7d59086e51585356abd310a15 10607904 frama-c_20161101+silicon+dfsg-5_amd64.deb
Checksums-Sha256:
76a43db7b5d907008601a47f1b3768e102e74b388b2aa7312eb03b3f649210f6 2408 frama-c_20161101+silicon+dfsg-5.dsc
ce26cb525e28f9de9fc47a3654c2b22e7e0d32898dd636c3d5ee7f03a5729ca2 26904 frama-c_20161101+silicon+dfsg-5.debian.tar.xz
77fc61e7a57c6c299c62a1b9dfb133806445c5f4f5a8ee2c80b513d5cf9e9517 1054358 frama-c-base-dbgsym_20161101+silicon+dfsg-5_amd64.deb
bd897f5c70377d8db8b7cfc6fffd2e61bf5b73ae89a0c369d6f7fd6c51f2ebbd 19985076 frama-c-base_20161101+silicon+dfsg-5_amd64.deb
0417b0b714349e6842fb792a62cd17148af548dd8b7a2bc3e524d1cb27c3e39b 1105508 frama-c-dbgsym_20161101+silicon+dfsg-5_amd64.deb
f6871b0ef8765866f80499b30515925a634d57005fdb6ec04dc2540078f43f18 14868 frama-c_20161101+silicon+dfsg-5_amd64.buildinfo
db5088541e3535f7b991c8c6e1722f656ef2851a49a919f970426fb60e105833 10607904 frama-c_20161101+silicon+dfsg-5_amd64.deb
Files:
584ef86e00808312f4a0e83902677865 2408 devel optional frama-c_20161101+silicon+dfsg-5.dsc
1323da3a0b43454da2c37a46327ab143 26904 devel optional frama-c_20161101+silicon+dfsg-5.debian.tar.xz
da1ba0a17d6206689ce961d13bb420f0 1054358 debug extra frama-c-base-dbgsym_20161101+silicon+dfsg-5_amd64.deb
cd5d67a9a1b2cfd86c9fe20f4e78be7b 19985076 devel optional frama-c-base_20161101+silicon+dfsg-5_amd64.deb
66dd8a8ddde09ac432913fe1435890c5 1105508 debug extra frama-c-dbgsym_20161101+silicon+dfsg-5_amd64.deb
38e3ef70aa4568140e54fcf6bcf3f899 14868 devel optional frama-c_20161101+silicon+dfsg-5_amd64.buildinfo
163023cd249b7aa2cf1da9dcf8ca51db 10607904 devel optional frama-c_20161101+silicon+dfsg-5_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlh7Z60RHG1laGRpQGRl
Ymlhbi5vcmcACgkQM74aCowu2P8XCw/8Dn2ierbc4fp1s10kxYA65Nqb4pEB5FDH
bA15nFkonr4ZmQ5bHAc4l+8WAvA25PlSNR5HUFhGJUHXi7Pui60IBI1QIWSrCWcq
vnMOPYTMJwG71IvYWb53lipCOwmxLpLzNPbXU6Q1aijdewCG/L33RohDOtTreXsr
hsvqFKVlcQEpUE6YNN8crqy7bLiEByYR33x4Xk9TFha+c4k2VxJmYAF8KdhvLts/
C5xZrF0Dn5xLuwOTDgCg3W/Xh2p5eTlEo64GPNunppkqLRTWM6BwpjDaatVZnkqd
DDd1gwjXkoOIVl5Ry4kZ3DS789rMNNOYKIemzVDzVZZOjyKWG4FJiFkD1UnliF6g
+DqAdUks/O5DCS2nfuMOqMfmeA8yQH+1d2GWP2LuSBVNfFQyXo1g3kVKeSJlh9ap
vf8aYLjwqBqMc88Z60y8Mpjw5jELjsZL4Zbc17p5cLZXqySdcfuGSSFjovwsQjoV
nF+E6Euyi6LsG/ck0Qzq7jHXhpfvCRcr9GhgDe4RBQ898kPRVSoqHHNvgLoquNBP
3t9kPVdAzBXCtvZwPDvyN9gYTyDCiRYHd0dUYmDuMEQwMrB7SukblQYaDfQJSBpd
zUoFZOE4c5AHjHGVrKj+eB7HJXXMCDudvJAxa9EcFOBatEGzeCMmSN39dB7JLDqF
sxXquBG6gj4=
=kbs4
-----END PGP SIGNATURE-----