[ubuntu/oracular-proposed] why3 1.7.2-2build1 (Accepted)

[Matthias Klose]

why3 (1.7.2-2build1) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Fri, 06 Sep 2024 17:04:30 +0200
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.7.2-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 06 Sep 2024 17:04:30 +0200
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.2-2build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 why3 (1.7.2-2build1) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 bcf0530e067935915979d3d3c35fa80a56fb006c 2687 why3_1.7.2-2build1.dsc
 a306dc8fa7d339e25f1be3b12531d88a6442afc9 18656 why3_1.7.2-2build1.debian.tar.xz
 184bcb8fcae51c2eb2bcd6819f4fb8627dab4432 5672 why3_1.7.2-2build1_source.buildinfo
Checksums-Sha256:
 5cf07f211fa82329e30dd07a67611ac74d08def557d65d6f21189cabecd2a923 2687 why3_1.7.2-2build1.dsc
 7d49e03c3c29b4accfbab1e36c86a08b350cb5332a1df2efc7ee6194fc46814f 18656 why3_1.7.2-2build1.debian.tar.xz
 f3a4be29c860cb699411a498daa7326a7ce1b9ea1cf546071338a07a8d14afda 5672 why3_1.7.2-2build1_source.buildinfo
Files:
 f3521a5dc1b8c889685b02409a9c4f0a 2687 math optional why3_1.7.2-2build1.dsc
 f00d769cb0cdf8f16888131e2ce8b7b8 18656 math optional why3_1.7.2-2build1.debian.tar.xz
 2490a4bf660452e2f7f49ea80c471c58 5672 math optional why3_1.7.2-2build1_source.buildinfo