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

[Gianfranco Costamagna]

frama-c (20171101+sulfur+dfsg-2build1) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Aug 2019 08:28:57 +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/20171101+sulfur+dfsg-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 05 Aug 2019 08:28:57 +0200
Source: frama-c
Binary: frama-c-base
Architecture: source
Version: 20171101+sulfur+dfsg-2build1
Distribution: eoan
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-2build1) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6fc016e6d6062b8769f1bce230d30e4884cd7c27 2201 frama-c_20171101+sulfur+dfsg-2build1.dsc
 03fc6bef72162d7544f8e1266c04ba3118129489 23448 frama-c_20171101+sulfur+dfsg-2build1.debian.tar.xz
 bf1ee9c04f7514ed678a215dfed9653c58f04a8d 7457 frama-c_20171101+sulfur+dfsg-2build1_source.buildinfo
Checksums-Sha256:
 e200bea9cbdf3846793f7b5b2d008dd8aa5920ec64b66277ac673c1d861320fc 2201 frama-c_20171101+sulfur+dfsg-2build1.dsc
 1896b4d85a93eb4ee17f4710deda581e4b55698237444dbad4af905ca85f8a7e 23448 frama-c_20171101+sulfur+dfsg-2build1.debian.tar.xz
 1ba2d3a3a6c2bc9cfb4caa6d35a915522d5747895609f3f74414fd64c98a972f 7457 frama-c_20171101+sulfur+dfsg-2build1_source.buildinfo
Files:
 5879b73f60425a5e8c07d3ca7ca73ddf 2201 devel optional frama-c_20171101+sulfur+dfsg-2build1.dsc
 d6f3221a23e0c8b14ebda4e36d20bf6a 23448 devel optional frama-c_20171101+sulfur+dfsg-2build1.debian.tar.xz
 dc444d5114135e3dbea03d2faa369b3c 7457 devel optional frama-c_20171101+sulfur+dfsg-2build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1HzKwACgkQ808JdE6f
Xdmofw/+PRyUrlBq3F+CJDA2g2Uj7QfrKsmJNMBGee3x3mOK1GlTItuDUumJrV95
JeKfktbbgt+LPT7DWUSc5tC0xRlprKTB5KHCOSFkuE+YmCqVmywaS8ZhOZ3rwBxV
j5Qwz2PsaBUtJ8My3kKM4BAtk+G5GwcpqhvWNrXzxfZZQzTBjFHLL1jZJTJ+jEUf
TvRALWodoZAP+sVdhXRiuGL2RvZpmOTJam1niQXxU+ZmodcK95YEQ7Uf55XleTuf
3lZmM4bClEeBH/iBC3MUZgaWOCWktW4IDK9ihNkL93cBtQYclowgBdRYM7ycLvHT
255IyW91Blu0Xa7RM8uAHLz/kFmM4vMNfZ0TUiWhU4av108dsc0iPT9RtyzR2bb2
91et2R4ekk92FsiI8R5IDkBTzBcg+Bjly9oXJ/erBdX4Zz883hQ6qZGou6mwKTRN
UOroENkL7zqj+q7Ugr6/iF2TFogehxGNwiOa+kkgtD2muBH5SLAmH1JZOvZdmfDA
K4jHZ5CXTeDV+BdsC3UY8jfzjpy9Ue8VrzGQ55VGDbrMQ4qN8RbwEPlveQo/jkGF
6LF9uJyv0a53lxFPtRKwobjGE1BFCblSGj63/2NHkcINCwmLQyYfgqQNFH+0ZV2f
Xp5UDVCRKMVMKVxYqSPfYFZfGxtne4+H8La3HOxa795rCeYBi1c=
=UsV3
-----END PGP SIGNATURE-----