[ubuntu/hirsute-proposed] frama-c 20201209+titanium-4ubuntu1 (Accepted)

[Gianfranco Costamagna]

frama-c (20201209+titanium-4ubuntu1) hirsute; urgency=medium

  * Fix new eva test dependencies and return in case of error (Closes:
    #982148)

Date: Thu, 11 Feb 2021 23:09:31 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/frama-c/20201209+titanium-4ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 11 Feb 2021 23:09:31 +0100
Source: frama-c
Architecture: source
Version: 20201209+titanium-4ubuntu1
Distribution: hirsute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Closes: 982148
Changes:
 frama-c (20201209+titanium-4ubuntu1) hirsute; urgency=medium
 .
   * Fix new eva test dependencies and return in case of error (Closes:
     #982148)
Checksums-Sha1:
 a8f051c0c2d0bbc3eb2ba9d92b08827cf16ddb70 2395 frama-c_20201209+titanium-4ubuntu1.dsc
 0d5829c59968de2263039fdbac719ae9db3b5e75 16168 frama-c_20201209+titanium-4ubuntu1.debian.tar.xz
 37ca34f690274f6ffc4b40bbf8dfc76bafefbbcd 8725 frama-c_20201209+titanium-4ubuntu1_source.buildinfo
Checksums-Sha256:
 d1431cd21271d1e4971626915d125e90da5bdc19982b5cb0b6b215b982cca988 2395 frama-c_20201209+titanium-4ubuntu1.dsc
 dbd477ff3bc20f4fe136c3591bc10afeb4636a33a555048f3b4f9b68abac9c21 16168 frama-c_20201209+titanium-4ubuntu1.debian.tar.xz
 f95a6eb8e5c684416247a2aef80ebfee354a81cf7062df3ced80cf43c44974bf 8725 frama-c_20201209+titanium-4ubuntu1_source.buildinfo
Files:
 5fabcce513c907f0e39167401d25b7e6 2395 devel optional frama-c_20201209+titanium-4ubuntu1.dsc
 04a4062850d14ee3a119f4caa1c204cc 16168 devel optional frama-c_20201209+titanium-4ubuntu1.debian.tar.xz
 a102cdd83056ad404c42c7c5007dcc96 8725 devel optional frama-c_20201209+titanium-4ubuntu1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmAlq4UACgkQ808JdE6f
Xdlvuw//QaiiO5EhY+s8XU6a3aFMbHtX4bzjgnpZTvTz/TZgccp8xkb7rvBDXADh
jlWkY71zleLlQ8xN9dyDaOjqA+F8NwOZiU60QoKMy2r15524zdmKCfSJjvKydexo
FSmksKtzlxQb+exkxHr/vLcG3Jbmd7iR4inSeHHGIDcxyjSr116BJK1Wusfga2k1
k+h6sesrAHmB6oP7nbpYZfmZsGBfU4Qf5g6SWeYgr9x0c+sfOHkRu4uM5BAv7T0p
gU4golfYh+d9HK+5+TYbu4LZiKdjA32A3nhEoJJn+oQQkpcYSAHhMZfgV0aoTupw
vj6e938UrWv7iBnMkBCCU9hRLvzo6VlgqILnrGHwM1BxJ/A4Q1QnDt6M9T6sUMCv
PyrgVrmiZkplEeY0D4h3CpzfmN0D3bKF9XocLNtNhX6NAiXNj0S3SZ51mrR1Nqd9
+9TXF8U+FQ5aSkcyzZgtKXWECQpPamRwGR+7PqcLUTOnezuu4xs/TteHlzkh69G6
+wjdkCWn1XcpP4RtbujgxcnT4dmERJ8RgZBtGq3AdTVELiZxa70BnOPB9CiTEPkW
x98XSX9dh7si67DylAynSM5ithc0rbvaDITk6ZSliY9PkJz5DJpnBI/5/Fs2jdUl
HzsRlt8MP2cEw7Pc6utTVgbJyNIq7AGkKKd2liFrzDIVAps2H2A=
=hMqw
-----END PGP SIGNATURE-----