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

Steve Langasek steve.langasek at ubuntu.com
Thu Dec 9 15:54:16 UTC 2021


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

  * No-change rebuild for current ocaml ABIs

Date: Thu, 09 Dec 2021 15:53:33 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/frama-c/20201209+titanium-4.1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 09 Dec 2021 15:53:33 +0000
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20201209+titanium-4.1build2
Distribution: jammy
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 frama-c (20201209+titanium-4.1build2) jammy; urgency=medium
 .
   * No-change rebuild for current ocaml ABIs
Checksums-Sha1:
 d17adb1571474061000b8918969c44932d91bb47 2515 frama-c_20201209+titanium-4.1build2.dsc
 84f079cfd0cfd0d32ee031b71e458a5e9e9ce8d5 16312 frama-c_20201209+titanium-4.1build2.debian.tar.xz
 8aef828c9a946daa505c948968cbbf4fe45cc9e7 6754 frama-c_20201209+titanium-4.1build2_source.buildinfo
Checksums-Sha256:
 22ef87130d872542069988ec0a0a05baa7f96ea6ed5feaae8510339b33a58101 2515 frama-c_20201209+titanium-4.1build2.dsc
 d663677f9be49632a7080d8c449bd0abb912f56d4b92c49d74bb77d164cf07d0 16312 frama-c_20201209+titanium-4.1build2.debian.tar.xz
 b419a1395beece3bb8f4d92e6a12f1da21efbfb740dfb8ab71d8998710de668a 6754 frama-c_20201209+titanium-4.1build2_source.buildinfo
Files:
 71bd1237ddc8fcb764eede654a4a191a 2515 devel optional frama-c_20201209+titanium-4.1build2.dsc
 48b7abb2979873bde18a10f00dfa5eb8 16312 devel optional frama-c_20201209+titanium-4.1build2.debian.tar.xz
 7e4a5cc28a80f38c4b029fba75b0e61d 6754 devel optional frama-c_20201209+titanium-4.1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the jammy-changes mailing list