Accepted frama-c 20171101+sulfur+dfsg-2 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Nov 2018 11:44:42 +0100
Source: frama-c
Binary: frama-c-base
Architecture: source amd64
Version: 20171101+sulfur+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
frama-c-base - Platform dedicated to the analysis of source code written in C (w
Closes: 911159
Changes:
frama-c (20171101+sulfur+dfsg-2) unstable; urgency=medium
.
* Team upload
* Stop building the GUI, drop frama-c binary package (Closes: #911159)
Checksums-Sha1:
975338f2a4bfeb8de7bfd838984d298de0cb2ed3 1832 frama-c_20171101+sulfur+dfsg-2.dsc
61df4f8ca0e81f092970b4e3fef31e7add2ceb83 23364 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz
67ab0e488cfa74fa5ac8ef3d9b0c4587274eaf24 1567772 frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb
d4b3fc33eae27b3aecade1b844e40fc9f0895d91 22300664 frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
f4718676bd2b9b1a154d73e6a52b1410e8e2fc58 7890 frama-c_20171101+sulfur+dfsg-2_amd64.buildinfo
Checksums-Sha256:
795cc581ce043e9acc473a0e46eef83a7f243080c3c48eed94e91ff09a27f981 1832 frama-c_20171101+sulfur+dfsg-2.dsc
98cb5671c9876d8294de772b68f75bda5673c3d86217759dd2b04ab893994b03 23364 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz
446f1a84059f8a686ee9a118bd84c1471ff031732ac19460384e2ecf3f0e629c 1567772 frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb
504f6b6598a1968d38910931cda49e06b72cf8cd016a96c9a5426070848f5fb4 22300664 frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
ff81c67fc93547849fa99902433b5afada1b26fed6a4eae96c710ca2cf21c0b8 7890 frama-c_20171101+sulfur+dfsg-2_amd64.buildinfo
Files:
d7affb29670b7c5a6ad30ff16408f35d 1832 devel optional frama-c_20171101+sulfur+dfsg-2.dsc
17edfcf413f817c703503d99a57be3a6 23364 devel optional frama-c_20171101+sulfur+dfsg-2.debian.tar.xz
8e4f0073fd3b8f340093142f016f24c6 1567772 debug optional frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb
88342618cb10967c65827d24e2e91071 22300664 devel optional frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
5f1a5a65338e05fc951a5fa39d29da25 7890 devel optional frama-c_20171101+sulfur+dfsg-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAlvpaPsACgkQIbju8bGJ
MIE9zwf+NA9jIu7djitoYtUWExw+K/pK5NW567B4BqLm5YriCThPBTgboZpwIQlH
9HJANex0paBZachyuhecsLnnyLyUOXPFQ8U2j0U9206VvnlzObyOf+u3oZT1PGIA
ml5zxYMBYetRtOn5epzIxTDTeqEeY6Ae0bTuuJeRK9L1BkBl4MACVtuAe6yTgjCt
DlzIJcx4PGvpEmnbATNHSdJf+NOMzOx87Z/51q2tyu46ZWDw72Ih8QfVZvWWQMx6
4wO40e87FcnUKPY2oN5mid7ivLSxUMvw1yMOtPKbVRltArD4IRbica/Gc/70Ymf6
qn3CzplQnSxM0WrQ3bNQ/I6DNusIKw==
=f8vV
-----END PGP SIGNATURE-----