[ubuntu/jammy-proposed] frama-c 20201209+titanium-4.1build1 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Sun Nov 7 01:18:12 UTC 2021


frama-c (20201209+titanium-4.1build1) jammy; urgency=medium

  * Rebuild against new ocam ABIs.

Date: Sun, 07 Nov 2021 02:17:45 +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-4.1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 07 Nov 2021 02:17:45 +0100
Source: frama-c
Architecture: source
Version: 20201209+titanium-4.1build1
Distribution: jammy
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-4.1build1) jammy; urgency=medium
 .
   * Rebuild against new ocam ABIs.
Checksums-Sha1:
 17d60d51d7f21c7eb7ab24a0910b15de63311bdf 2399 frama-c_20201209+titanium-4.1build1.dsc
 7919f23e7bf3a02136ef8878e4a79c9783095a9c 16204 frama-c_20201209+titanium-4.1build1.debian.tar.xz
 6106443442cc01c4efc708026fcdd0301b6a88a1 9274 frama-c_20201209+titanium-4.1build1_source.buildinfo
Checksums-Sha256:
 3d7c28158f09b707b5206f4fee17e8144eaa2e363cde46c99870bb3da9ce0120 2399 frama-c_20201209+titanium-4.1build1.dsc
 5144463d72644eb330d2db3c92502ea38e5711f389db87aa59793d01ae17df00 16204 frama-c_20201209+titanium-4.1build1.debian.tar.xz
 eb563eb8ed15ca63813e455d5cfbbe86047c4596d4d892a9363ae909031a7a13 9274 frama-c_20201209+titanium-4.1build1_source.buildinfo
Files:
 aa0de8f44400232802f3d70182c5efd4 2399 devel optional frama-c_20201209+titanium-4.1build1.dsc
 fe8cbb8dd77aa34c3883cdc156f6a270 16204 devel optional frama-c_20201209+titanium-4.1build1.debian.tar.xz
 1881a395f23b4820fe65c66d7bd0467b 9274 devel optional frama-c_20201209+titanium-4.1build1_source.buildinfo


More information about the jammy-changes mailing list