[ubuntu/bionic-proposed] frama-c 20170501+phosphorus+dfsg-2build1 (Accepted)

[Gianfranco Costamagna]

frama-c (20170501+phosphorus+dfsg-2build1) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 28 Oct 2017 16:39:11 +0200
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/20170501+phosphorus+dfsg-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 28 Oct 2017 16:39:11 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20170501+phosphorus+dfsg-2build1
Distribution: bionic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 frama-c    - Platform dedicated to the analysis of source code written in C
 frama-c-base - Platform dedicated to the analysis of source code written in C (w
Changes:
 frama-c (20170501+phosphorus+dfsg-2build1) bionic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 11495b38a08c26cbfc49616063cb17c08e80ec95 2396 frama-c_20170501+phosphorus+dfsg-2build1.dsc
 6532c86630c50ebd8d2ce3c6a4f4a574c414612c 29748 frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz
 fad39556606e78d15629c1385e45a2aea6b437aa 8583 frama-c_20170501+phosphorus+dfsg-2build1_source.buildinfo
Checksums-Sha256:
 ab63a89e10314ee4cc4508bbb5187e8739fc7b32c3cf94fc1d714eca73adb4b4 2396 frama-c_20170501+phosphorus+dfsg-2build1.dsc
 e03328d07ad09de4d5cfc523679bcda9db44b5c32f46ffc4015b2e1071c4cf2e 29748 frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz
 7bdac0b37271afca37b6755a4b97558135e3b62e995b822a163bb47e1210f8f8 8583 frama-c_20170501+phosphorus+dfsg-2build1_source.buildinfo
Files:
 2f98e9382c44ed102a698bf277a4123d 2396 devel optional frama-c_20170501+phosphorus+dfsg-2build1.dsc
 a3d93f717dcf74008c8b49fe467ec99c 29748 devel optional frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz
 e0489522661d8a8b1efc97521fa23d16 8583 devel optional frama-c_20170501+phosphorus+dfsg-2build1_source.buildinfo

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

iQIcBAEBCAAGBQJZ9JaVAAoJEPNPCXROn13Z7uUQAIOBCvVHOHjK292UHG1u0vhE
OH9JnlXLuP7BUf/6PVlLNlydW96TMnrow1D6wOiUXApWIujd8r0ouz9PvGNAq9J7
78VyfFSiDJmX0UHPvDAVMU03TdrKGMDuygPKaHj7l9F4S72dSn87aMmbWdYinWeC
/YV0Ev4tC7IjzdnkInY+0avcS5aIQBt8DEDW0GBHv600t4uHQXTo3f/J1xDyHG/W
8+nBwj+tn/mG+U69wEf/YdtVx9haF+sEVXrvaT30D2O1kfUBgiYl9yYWSEz5FE8f
Sag0mKkTCMU/oys9XTdavQ4Z5ICSqBb2cOS4pdcBNrhIHXIBpvisw4a3rul+tCYv
HcVRH+eGBJEomcYPyMudvgKsYdC8SN7M3XCu17z98ewYauNtLDTW7X+bJnuvcDbp
fu0qnCjIlIzTIOaaU18JDmxse3r96c6WdwTsz9JV34kVHwQUD/1fs7nhmi5MCwAy
B4dEslzx4dTfOTZjl4IS/qSng6DWC750n8wV2/bUa1kFequ9nwPEDpcsXcJlI8jw
YUKWEHYr1VvcJILJRbB8R9ACytQ8XvjRLYSlgac1ZL4y3XkHHNAPNCR6TNHVkrD5
1umZ1R38MzFYCyC6idLf0l6KWOCV8tnoCPMMbrfNI1KpJfDg5v+Ongd1zOw17Mw9
0/+GJl+edFGd6F6XGMG2
=9B8Y
-----END PGP SIGNATURE-----