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