[ubuntu/hirsute-proposed] frama-c 20200625+scandium-2build3 (Accepted)

[Gianfranco Costamagna]

frama-c (20200625+scandium-2build3) hirsute; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 07 Dec 2020 07:48:49 +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/20200625+scandium-2build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 07 Dec 2020 07:48:49 +0100
Source: frama-c
Architecture: source
Version: 20200625+scandium-2build3
Distribution: hirsute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 frama-c (20200625+scandium-2build3) hirsute; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d8a2707787ae5c84eca33237026cd77418c94bd3 2314 frama-c_20200625+scandium-2build3.dsc
 33a7f1d2fa72da91d55a2b528cf792a9f724bf87 15184 frama-c_20200625+scandium-2build3.debian.tar.xz
 252f783a2f9111eb1932a38218219106d78fa5d2 8706 frama-c_20200625+scandium-2build3_source.buildinfo
Checksums-Sha256:
 a8f272356543becbc2d0ae8dd7358d99c2f953a74a90655d89891463f5747c43 2314 frama-c_20200625+scandium-2build3.dsc
 6522b4d95eca22c6e12603d77dc0cac74e76bba54e3cf6418b58db3f48424f8a 15184 frama-c_20200625+scandium-2build3.debian.tar.xz
 90760e3f342d58604b452ccdfae5a1d812dc67f68b642506be64c0973833378f 8706 frama-c_20200625+scandium-2build3_source.buildinfo
Files:
 9fb09d9e4e48ec59f6d585552cd296fc 2314 devel optional frama-c_20200625+scandium-2build3.dsc
 8a70b46008a0d3ef0a7ab46a7514b5fa 15184 devel optional frama-c_20200625+scandium-2build3.debian.tar.xz
 3782c43d901aea23d1701ca08b198ae4 8706 devel optional frama-c_20200625+scandium-2build3_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl/N0FUACgkQ808JdE6f
XdnndRAAv4LdME/LuY/y7/WjL0KRM01/eiyflB3DYgXSYsoc3EMJvQH5jDQtvX4g
oTXIUitID4KpOkPx2pT+BXrryVYiBgbxvVo/PwR87IxoOfg/8OX+w8tyAqOEJ1eb
S5XZ8cuIZtxcaDZB4dn80onaVchJ9DdQ/kHc/w2rxoKJfHIMtyRqAlLIozzZt1On
2hPhBPoH3XI2oYy80embhl7yqxGmbOSWSUba5GkE5kWyEfu+e0T1WNLxd44umPw2
rfEL4Ix2moXlDP2AYaavmJoLWSWBERvoMML5P2/bVpbbpwP6VsB38bE5hhk0Uc5R
CEkYyhl98b6XsSzBRILKBSu+2wJ/kHYzKMvMu+pHwrwhSJIhWjeWOsTz4Sbp5+xs
q8g6Rn1PSs+j1/qrnxccFzj0+vulFCH/ZMFecNl2qb55KUUkUswAqNJKYOSMfkxu
XZ3Lej3kcfwYm4Cwb/NBcBlA3Bf4qjTKRtP3Oh/skfM5KTUtEsfLoobnNvZX/9bE
76PKtdM+VarTnId1L9vS3HrFUVs1KEd8ay336egmdWA7/ZBPDu5U11kvElxyAWBp
/cY2WDZGrNWJqnm2PEksKEdhOc0GHj8M1/GgvgxHa0o55OWBwIVZFTidHSlFncR5
AQeMmqq9DXCfOD3PdZOgjh1o/cYQbFt5EBVkXicgJsF5Cpf1MdM=
=MiHm
-----END PGP SIGNATURE-----