[ubuntu/focal-proposed] frama-c 20171101+sulfur+dfsg-2build3 (Accepted)

[Gianfranco Costamagna]

frama-c (20171101+sulfur+dfsg-2build3) focal; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 21 Feb 2020 12:36:53 +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/20171101+sulfur+dfsg-2build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 21 Feb 2020 12:36:53 +0100
Source: frama-c
Binary: frama-c-base
Architecture: source
Version: 20171101+sulfur+dfsg-2build3
Distribution: focal
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
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 (20171101+sulfur+dfsg-2build3) focal; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 db15d6dd78e5deae9c24cbc354a15ce8b06a9413 2201 frama-c_20171101+sulfur+dfsg-2build3.dsc
 86c63bf868d031bebbbd93c950f53ed02d819dea 23532 frama-c_20171101+sulfur+dfsg-2build3.debian.tar.xz
 fd74135d4749c9e510698f85a22e3239a479bb40 9163 frama-c_20171101+sulfur+dfsg-2build3_source.buildinfo
Checksums-Sha256:
 c3a75bcd1a0c07f80e9f8ac55b62b966b3cdb9cb8ce81fab9a41abeabaaaef8a 2201 frama-c_20171101+sulfur+dfsg-2build3.dsc
 7f1b3806d1fc540fa2922ab351b14379817ea811797dcbf644c3fe780f8eee5a 23532 frama-c_20171101+sulfur+dfsg-2build3.debian.tar.xz
 dbb8f5725cf16e623473ca9522b80c06d671f905cb549bbe376c38cbe3e85ef9 9163 frama-c_20171101+sulfur+dfsg-2build3_source.buildinfo
Files:
 0980dac1687dc01097b0cce198e3950c 2201 devel optional frama-c_20171101+sulfur+dfsg-2build3.dsc
 73e369ff6c0e00a5b4f8ee3754b4af4f 23532 devel optional frama-c_20171101+sulfur+dfsg-2build3.debian.tar.xz
 2d571ca798ec9b057d0abcec9b1b5e69 9163 devel optional frama-c_20171101+sulfur+dfsg-2build3_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl5PwNkACgkQ808JdE6f
Xdke2hAAyH1hg+vNim6rCFRYImVzThksEz8v+ioKiq2OhVu6+8gH98GC3dMg0/XD
psWVjZ5zVvsliljdxGPGWF+IWtRwse38DGNLpw4gG6iNWCFS0Kqk/I06tBYu6M3J
jxL2rOaIX7tmoGPe62WaT7X4sTdjnW89w+MXHUGdQLY7j2GezlHxkuqyrachMLaQ
63cdRcGqW78qb35neuuEdw2ZXJmIMRXZTdD18vLwsnQq3KK9K/wgKddEuLoaQSb1
glv63EzrzC1/C6PCooUxhSdgUHAiCb60OtbXNSIjcSXtM8//MECUlgZN6lE/4HAw
D4YqyM1MEJD9ylRXwb3W3zaHBZerpXTWfJ0oSSxcL05zm28YLhjJpVi/dqqVzyPL
Cq7T+gu7h06FNFQDJYi1NpNYXM+8JluBHRaYA9T7VrTAK4vBjhCFRgRLTY6hxBqK
MWNSlGvJoZgpTzJpjIV2OoOnVYPdSKSi6rqxXMLKnC5F1tgEJauU4N4CILQv5HQH
TNi06v39Y4ILCZvSVR3wBPIgBNLcIap6IXEqShCn8Jl/893Dy4py0EVzs0BQM0zR
/1bFgENTAXVzxFCbRZPzKDCco+P1c/3p8719y5UoPCtQIxGwvAWVVJwJXqCU4jXc
gSKWPjf55eu3abwbvKuFr+9VdfI5HSDeDj55mxlemjqpmYzKZYQ=
=C794
-----END PGP SIGNATURE-----