[ubuntu/lunar-proposed] frama-c 20220511-manganese-3build3 (Accepted)

[Gianfranco Costamagna]

frama-c (20220511-manganese-3build3) lunar; urgency=medium

  * Rebuild against new ocam ABIs.

Date: Sun, 19 Feb 2023 17:28:39 +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/20220511-manganese-3build3
-------------- next part --------------
Format: 1.8
Date: Sun, 19 Feb 2023 17:28:39 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-3build3
Distribution: lunar
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 frama-c (20220511-manganese-3build3) lunar; urgency=medium
 .
   * Rebuild against new ocam ABIs.
Checksums-Sha1:
 defc31fc1db8d71f67a8407ed739d01c7fa88d9f 2431 frama-c_20220511-manganese-3build3.dsc
 a1faa97e49d59e726684fe429b3d7aa95b5e3a54 16276 frama-c_20220511-manganese-3build3.debian.tar.xz
 bcb969f0799da9bc307f85d553d784741be39505 9487 frama-c_20220511-manganese-3build3_source.buildinfo
Checksums-Sha256:
 a75a41043888002b0e1784c0ff50da1162badb7db5aad9a51410e8ee2b046a7a 2431 frama-c_20220511-manganese-3build3.dsc
 3a215513e8d4371480b8cfc07e612969095df14fcefa5478bb98fcd2e31911dc 16276 frama-c_20220511-manganese-3build3.debian.tar.xz
 e1fa31c26701fa2121e84c10660d6309199b33a05c487d410e6a2fd7c0ade46c 9487 frama-c_20220511-manganese-3build3_source.buildinfo
Files:
 a5e6e9b4cf22d625a3e999db0ce40084 2431 devel optional frama-c_20220511-manganese-3build3.dsc
 52ac6c3cf72dce5a7aad50498893ad96 16276 devel optional frama-c_20220511-manganese-3build3.debian.tar.xz
 61052a5be3f3ab3b7dbd0e9a189e561e 9487 devel optional frama-c_20220511-manganese-3build3_source.buildinfo