Accepted frama-c 20201209+titanium-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 11 Jan 2021 20:17:46 +0100
Source: frama-c
Architecture: source
Version: 20201209+titanium-4
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-4) unstable; urgency=medium
.
* Add a test for the eva plugin
* Test of the wp plugin: set skip-not-installable, since alt-ergo
and why3 might be not installable.
Checksums-Sha1:
fa4ec6635b1c078baa0cf8e9d34d702df880b5d6 2367 frama-c_20201209+titanium-4.dsc
1232b4c6f6f1cf9549606071d011fe6d52f062cc 16068 frama-c_20201209+titanium-4.debian.tar.xz
20dba6734213875d64fc7d989ff70c15cd48974d 15700 frama-c_20201209+titanium-4_source.buildinfo
Checksums-Sha256:
49036b3fa54a9492d60c4cb09ad6d4936e67922159f56adce088c5b1b27cf643 2367 frama-c_20201209+titanium-4.dsc
2708570b5d33a448bca98f94fed0dcf05284e56c705ce5550be0a9c36aec35d6 16068 frama-c_20201209+titanium-4.debian.tar.xz
4c81a7c4b75c17a36d0eb750e6f50c57aa3b5a5dc4d55daacddc4be27256ff32 15700 frama-c_20201209+titanium-4_source.buildinfo
Files:
680b5ecd61d9d0b4ff6c2d9c06ed622e 2367 devel optional frama-c_20201209+titanium-4.dsc
f2cae2b1a4ab5901a3ab1f8616dd3258 16068 devel optional frama-c_20201209+titanium-4.debian.tar.xz
05f241d4e65af85845116ca075d9ab70 15700 devel optional frama-c_20201209+titanium-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl/8qK0ACgkQdFxHZtTK
zf9gdQ/8DRTVRbBI5rHG/fnjSDuwdsXdBbK0wvDJvMwBePX4m8Q0v4dKaO0JIkEw
5v8RemhKLKvLRB36Q96T+rrekTzpq8qHhRqe8tqOmfHBvnH2wS4vDmWbIKAZgV1a
410HHcd0Dc6EhXVXMZ7o+Nd2VSEgMyba81R86Nv7lYvynI8PjpX83dIo9yHlzaV5
XuVWP2XMw5nX9IByw3fHamBUQ3bs/WXAn9XHCXtDM07VDWqEm0hPzQ+v721VDCaa
yasTMkFBYa5SnwjU/P2sUvXPyWsFE1L1gtTeMJvEp27xKRntZBQ1DlmByPkJOq2x
d2GCEWhPUdrJ8IlpeJbdh+CHOdpgbinyu+OZ7I+2WjsPi+u8U0uBgnR/0QDL23G6
c/SI42DejxX5/EojEDHYHwYRCwAyXcSApajZvljt96I4tPFnbglPu4T/ebue1Te7
AH6MFLuzuc7nVj6H8R/28jSpJ1est30yUn368DVOnYOFOYtrjNVmmpjgmSttKjLV
vevQqdi7KQqq+DgEcN1Q5d0SdQ5rRRUl88SieEv/RYYhhdJl/FjRwT3hHnqe6vx0
Ygk8CVhhzyr2Xko2RJSOAVDdP68R/W3Sgivhtq5NHedxiLtu/ajfm1BtG89LUb41
EnELqkxmfjdScsgoPDaTBxwEyxeIS/e0gMdFFD1XmwmvdHao7qM=
=O9uL
-----END PGP SIGNATURE-----