[ubuntu/focal-proposed] frama-c 20191204+calcium-0ubuntu2 (Accepted)

[Gianfranco Costamagna]

frama-c (20191204+calcium-0ubuntu2) focal; urgency=medium

  * No change rebuild against new coq

Date: Fri, 20 Mar 2020 20:05:10 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/frama-c/20191204+calcium-0ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 20 Mar 2020 20:05:10 +0100
Source: frama-c
Binary: frama-c-base
Architecture: source
Version: 20191204+calcium-0ubuntu2
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 frama-c-base - Platform dedicated to the analysis of source code written in C (w
Changes:
 frama-c (20191204+calcium-0ubuntu2) focal; urgency=medium
 .
   * No change rebuild against new coq
Checksums-Sha1:
 d4d7c181d687118b7fd86a7f6abfb4c67564cec9 2296 frama-c_20191204+calcium-0ubuntu2.dsc
 c3f2fc80409db4cc00af9575619c6e4a449c10b3 22808 frama-c_20191204+calcium-0ubuntu2.debian.tar.xz
 bd4f5252e6c424670bca8dc2eaa0f3c40838bd09 9119 frama-c_20191204+calcium-0ubuntu2_source.buildinfo
Checksums-Sha256:
 75bcff6cdf80b6ba0c944ea4997fc0b227b04f3c7546496d8ac46efefe09e610 2296 frama-c_20191204+calcium-0ubuntu2.dsc
 c26304b0eabe0b647db8370b8aad5db24366880fa1b3ff401c7ae07bb6eef4b9 22808 frama-c_20191204+calcium-0ubuntu2.debian.tar.xz
 2ec86d1d9ca16f2897c7e384b68ce399d63bafdc942ecc5e71d13a20f6b9bfa0 9119 frama-c_20191204+calcium-0ubuntu2_source.buildinfo
Files:
 6223e045e474329932826413a9ae0090 2296 devel optional frama-c_20191204+calcium-0ubuntu2.dsc
 91543e281240e09346a7f8dc4dffef7b 22808 devel optional frama-c_20191204+calcium-0ubuntu2.debian.tar.xz
 fca12d1fc31f0115a383e49d58b3f9f0 9119 devel optional frama-c_20191204+calcium-0ubuntu2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl51E/YACgkQ808JdE6f
XdlR+A/+Le2rjyuDV/xrRpNSArRtbVHcOXVq6ZbOKkJpd2NbV6DI1lVFmRW/Tut4
Iz0nE33vyMSNo155apQIg0j37n2ijl8xo9tJbh+AbxGnN/z49jgTLzwFJN5ckdy1
3ivTKmToQkLtPX6c/1vpy4q/amDuC3tz9bZsrnqgBIV+kxhstm6ZazBLR5WKTt7j
bwcKTxPjWur18HY++6/8+G89RfTM/rAs7ZweAtDzHVPqKxvcsompsXxfQto1c1NO
vDaCWH2VH7S+0vtiXyScuBdRjn+NXja2HUW5iEcBVpdqiD3vhLAWKbUK9z6T0Kb+
MJtmw6tV/BjAFDwoMnQ1X7kxcodK/rLEqGpRMJsbrb8FDXz18TfzJudXz43ywAj+
bcAPnwscCdxTtOE5SQU58nKJgAjVru2ezEn7d6m1yGG7ummi6wz/LitVBhMjPbLc
JQIcEh/FnMhqFhPp/XhxF1k9o8GrCazw9/atbkR+Ho2VPyhhO7FdUnWiWGrvo6XS
jFJpS0ZtEyejkZZzyd3bPO1DKb9UYr/0OxhSAE9blBhOvPA2HDgvqoCVHd2Anlyf
edAg4DGMtdkUwZ0X0sSEmW2CR7DGmIVj+YY6hH0sZYnGTrRHbqvnCnEao0C/qw6D
nCj/ZsKxf/BUJl4mOoHBAIpkgxOKgoVWMKF7ecuN4BvPxKn+1n0=
=HTxM
-----END PGP SIGNATURE-----