-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 02 Jan 2021 10:59:17 +0100
Source: frama-c
Architecture: source
Version: 20201209+titanium-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
frama-c (20201209+titanium-1) unstable; urgency=medium
.
* New upstream release.
* Drop patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas as
we are building against lablgtk3; refresh the other patches.
* Standards-Version 4.5.1 (no change)
* Rules-Requires-Root=no
* Update package description (we also ship the gui)
* Add as-installed package tests:
- wp (deductive verification with alt-ergo)
* gbp configuration : add filter for the executable in the spamassassin test
Checksums-Sha1:
7a3af04dfaa7eb1e9cec96ba04e3761b56ff9538 2342 frama-c_20201209+titanium-1.dsc
814ec267fcd434f552fb8aee3dfb85474603ec9e 6314293 frama-c_20201209+titanium.orig.tar.gz
37df70583511f493381553897a7d72d4767c6560 15468 frama-c_20201209+titanium-1.debian.tar.xz
568616263f299086bd91c9df6bacde2593b5159a 15736 frama-c_20201209+titanium-1_source.buildinfo
Checksums-Sha256:
eb05b8a3d0568101a09ee5760d5274a75b39806f85cc0e44664d2a95a51ffd00 2342 frama-c_20201209+titanium-1.dsc
1c01d6d59fe2e0a1b837b0efb9277e908d98352aefea20e0c3b8c202946881a2 6314293 frama-c_20201209+titanium.orig.tar.gz
f00a505ac49acbb6a20713ed10047d38c971360b88722eb905ad038680a79d10 15468 frama-c_20201209+titanium-1.debian.tar.xz
97f4559dbe1d99b8810e4abb45ce9ec20ad5398816b6defb286831653f2f41b9 15736 frama-c_20201209+titanium-1_source.buildinfo
Files:
96133a622e61f20accf36b07278316c0 2342 devel optional frama-c_20201209+titanium-1.dsc
1c4cb7420d2d3981532ec613f15c1d54 6314293 devel optional frama-c_20201209+titanium.orig.tar.gz
02d3b178eb1c88c60acc7c76bb42c1fa 15468 devel optional frama-c_20201209+titanium-1.debian.tar.xz
8e2d1ab5eca8ade9ea9f50cacd6b576c 15736 devel optional frama-c_20201209+titanium-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl/wX54ACgkQdFxHZtTK
zf9qXA//WPwLvZt9N1OzcRI4VsmFWN2xX5AI5K2u4uiK+reR6cz8rk7MEZShjKbM
jDZk2qV9CBu8w6uylZeaKGOmgJbsz4s1jBqlo0hpCu36+EfqEonupb1VOLOkV/t6
HuBSpwUYMZQjamHR2ezkFL+lwZQbQr3wxuLN8QvFxuemCe+7Jzn/8SzrK5zxZqE/
8A6k7oOy822bDKZrbsynIn7PLiqgh5AyI4Gjx39O7MoxQhyToy1Nbdonnbx6N/zl
jHLliyy5IhYfWeyvJ0vs7+H7TEVZhFwLM/iIpMzVzSh2X2p+EqVF63dfr8q5xRh4
nV6JM0h6fXQ1jKNlv8vdqNVtQZs1IGsJV8r9Ubq8FsjroQYCluQmt/5zXIvSLFqX
M7t/3jB0yQlMHo7UynEAZUKqYE8BUSZrF6kG3nvdKu7NFoVkeenvicFNUjsshKyS
qMIGK8FV/TnMPbpkyncSOAc0Iikz/C6f2rVkAjqg6umQTEzG1GyOvDr9xYC/5J09
fuGLpzw14OiGt8SKanLoMnZP7CUbMVTd425T0b8tL0LUUkEZ0cVZPmPEDYu6YUW0
SIHAxSfXlHz8DthEikfWQtEwcjQvIHBO+Y22XtnWx7KJh7KW6qzplRt/V2ekX7VB
2rrAsVn3oUICkJ85G5udx5qD8GZnIXrfFnWJWdB3TV1zoh0J25U=
=0fUy
-----END PGP SIGNATURE-----
