-----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-----
