[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