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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sun, 07 Nov 2021 02:00:39 +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/why3/1.3.3-3build1
-------------- next part --------------
Format: 1.8
Date: Sun, 07 Nov 2021 02:00:39 +0100
Source: why3
Architecture: source
Version: 1.3.3-3build1
Distribution: jammy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 why3 (1.3.3-3build1) jammy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c54b36039da06ae58e1a8407ff85c93ec039f70b 2873 why3_1.3.3-3build1.dsc
 11ce2860635e3f9636ec874e3e0a650be27a41fc 19372 why3_1.3.3-3build1.debian.tar.xz
 6a2905cdb8b2bbb1fc247cb795ea06daa0c35b54 7628 why3_1.3.3-3build1_source.buildinfo
Checksums-Sha256:
 d3b842c8d4d6da841b9a705a8456d3f887642145a9340bcf6093f3bbaaa2f798 2873 why3_1.3.3-3build1.dsc
 93811c861364eca3766ef40536eb06931209b3a156de9f976e0f4c1c92cc1f35 19372 why3_1.3.3-3build1.debian.tar.xz
 2c524c3e9c0a29b97d35ac3b7e4951ff224cce7aeac8ec15b792c8d5952538be 7628 why3_1.3.3-3build1_source.buildinfo
Files:
 5b14120f78ca1092fd89730c7024ab3f 2873 math optional why3_1.3.3-3build1.dsc
 2820ac18fc19314687c4242cc818bbdd 19372 math optional why3_1.3.3-3build1.debian.tar.xz
 4f6945b4975499883bfcfa10dae72070 7628 math optional why3_1.3.3-3build1_source.buildinfo