[ubuntu/hirsute-proposed] frama-c 20201209+titanium-4build1 (Accepted)

[Gianfranco Costamagna]

frama-c (20201209+titanium-4build1) hirsute; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 11 Feb 2021 19:51:57 +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/20201209+titanium-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 11 Feb 2021 19:51:57 +0100
Source: frama-c
Architecture: source
Version: 20201209+titanium-4build1
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 (20201209+titanium-4build1) hirsute; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 796ed206636a371968d2d7190c4e6bd4e50a89eb 2391 frama-c_20201209+titanium-4build1.dsc
 a4160709ed70d4c688d1221577e530c952d5cdbf 16124 frama-c_20201209+titanium-4build1.debian.tar.xz
 3f7954dfdd53ba238d1d1faa8c90d1a8a0a752d4 8721 frama-c_20201209+titanium-4build1_source.buildinfo
Checksums-Sha256:
 2276076a29df21088ee71813821de5858f6d823ae3a58d99ad7f5bb957b1a9db 2391 frama-c_20201209+titanium-4build1.dsc
 172f2650ab45dfa0c92ff737550480bae37733b5fca9d976c8e6aa8ba8e7d81e 16124 frama-c_20201209+titanium-4build1.debian.tar.xz
 7e9d9f17608203063e5ac2f7081980c8f4e48e1d14fb55831ff53f3529f95240 8721 frama-c_20201209+titanium-4build1_source.buildinfo
Files:
 98064f719bd23f5c6ad3e018a7780461 2391 devel optional frama-c_20201209+titanium-4build1.dsc
 14d02d162aa66863057db7d03b7340cc 16124 devel optional frama-c_20201209+titanium-4build1.debian.tar.xz
 3816322058f2f342188bb1a5d70d00e0 8721 devel optional frama-c_20201209+titanium-4build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmAlfNAACgkQ808JdE6f
XdmoaBAA1s6K/Uqpbsa0nxkLSvNcHrwdRHzJxr5+gH7NB6Re7RkVUq8coLsfGzLM
TqJFIsSwdqfQ97yCF0oAb3kxhBr1ft6WRlBCIHyzBgfb5B/jfHngABvr2Iz8Qx0k
m8Lawe5IWllWGwX0UynSN/M7oTps9DhOTCw0Fa3Gt8C0W8p+SraXwi9MDRmA1sn5
LX42+t0wxFuWxt4Y0RebDxMSSIyi+5trtJxXV+J6dgDCxz+EUQqL8US1VSLFhdqe
S6uaUE47woWRJXnxV3pAdXWxvXV4bitx9e3YBveKnqe86681m3fUpQFG1Zrnscth
GUs95+KLY/oRewcNiYmGqlCjjWCBs4EM+b7Bfc/Lg4tSj7hpJxJjuo3DbA6j6k4H
MT38cGTbc0Grffd+MU0my2xNqnjWw5t1xGZ2PFP42PRbr/2iY5lxH5USKtiI9OQ8
pTIzuE8qt2qU81pBghLwy8TB3sfFKxbvYziEL7Rj2cz2sVY48Zk6SHiCYv2Bts3D
Qy3OR9ZW5SD99Zzlk01Hy4KHDJd3IzHGQlXaWz5gyzqYQL08wN9Z29mbpQ/XFdKT
6U5VSirH+RH2eCx6Ni3wOkdQVIpdyH3aSUp8lXNUBQ2+Ld70Jbit+KNfU1EnhgZt
sqbSxBSXaIcgqm+eaRsmnCTNRIIItw7JGU8kT0NuRVKWfKJjhBY=
=+62q
-----END PGP SIGNATURE-----