[ubuntu/jammy-proposed] why3 1.4.0-3build1 (Accepted)

Matthias Klose doko at ubuntu.com
Wed Jan 26 11:57:11 UTC 2022


why3 (1.4.0-3build1) jammy; urgency=medium

  * No-change rebuild for ocaml abi changes.

Date: Wed, 26 Jan 2022 10:37:01 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why3/1.4.0-3build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jan 2022 10:37:01 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-3build1
Distribution: jammy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 why3 (1.4.0-3build1) jammy; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 83754c1b1a2171aeac56850007ce90e433e51eeb 3092 why3_1.4.0-3build1.dsc
 be95afb09e93ed84d2822143b1fe086794351cab 40124 why3_1.4.0-3build1.debian.tar.xz
 848cb8343ae4c9582d6ef009427b01184b1e3d7f 6761 why3_1.4.0-3build1_source.buildinfo
Checksums-Sha256:
 2963c9ba9e757dc68c039e624b1d4fba8f74fd0968f447287390fd6f7b0ef5c1 3092 why3_1.4.0-3build1.dsc
 bdaf8f5602cf9edea4ab3b949b60502dc96dfff525cd6822b8db3e2c7aad6098 40124 why3_1.4.0-3build1.debian.tar.xz
 f2389844718081159b51870a6b160b0ea793a73e5ff1b06d951f3b7dab024f7f 6761 why3_1.4.0-3build1_source.buildinfo
Files:
 4a45e8c957336e930b08c077bbd9474c 3092 math optional why3_1.4.0-3build1.dsc
 57f188f54d29e0b6d588703d01474269 40124 math optional why3_1.4.0-3build1.debian.tar.xz
 f6a9204b509293e8ac1e8ef95c119fa6 6761 math optional why3_1.4.0-3build1_source.buildinfo


More information about the jammy-changes mailing list