[ubuntu/noble-proposed] frama-c 20220511-manganese-5build3 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Sat Feb 17 00:24:18 UTC 2024


frama-c (20220511-manganese-5build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:23:27 +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-5build3
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:23:27 +0100
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-5build3
Distribution: noble
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-5build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c71de37b372f599928a5072c248477d8b7ad1484 2364 frama-c_20220511-manganese-5build3.dsc
 182f9a0d7ae7be42617e0a7e5ca6837e7b451b06 16904 frama-c_20220511-manganese-5build3.debian.tar.xz
 9981b13b78e237e659b9c62ff4e53b91535f1951 10138 frama-c_20220511-manganese-5build3_source.buildinfo
Checksums-Sha256:
 635d4f39de4f276fd929b8be28750f42cbebef6ee53a93515f45921e710e3072 2364 frama-c_20220511-manganese-5build3.dsc
 63b57386a21323e66c3504ed212f242d98538a8a8f8968c0dfb6297c99a0f6d6 16904 frama-c_20220511-manganese-5build3.debian.tar.xz
 990447e810c7e99faa0e3950d03ec420e499894e2b8774d9de15e293ff85a8ad 10138 frama-c_20220511-manganese-5build3_source.buildinfo
Files:
 8056ad1af5a28515921b4598de747909 2364 devel optional frama-c_20220511-manganese-5build3.dsc
 5fbe6f3dede0ccfbe34155d3cebd133d 16904 devel optional frama-c_20220511-manganese-5build3.debian.tar.xz
 b45a5e44a8190c9be54b876bbfe10663 10138 devel optional frama-c_20220511-manganese-5build3_source.buildinfo


More information about the noble-changes mailing list