[ubuntu/resolute-proposed] why3 1.8.2-1ubuntu1 (Accepted)

[Gianfranco Costamagna]

why3 (1.8.2-1ubuntu1) resolute; urgency=medium

  * Add b-d on graphviz to fix missing ccomps during build (Closes: #1122492)

Date: Sun, 04 Jan 2026 10:00:25 +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.8.2-1ubuntu1
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Jan 2026 10:00:25 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.2-1ubuntu1
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Closes: 1122492
Changes:
 why3 (1.8.2-1ubuntu1) resolute; urgency=medium
 .
   * Add b-d on graphviz to fix missing ccomps during build (Closes: #1122492)
Checksums-Sha1:
 9eec4f2c4bccbca5508179992c55f1af99dd4050 2709 why3_1.8.2-1ubuntu1.dsc
 af10f35482688c77cce403a3abe623fd460d4c61 19580 why3_1.8.2-1ubuntu1.debian.tar.xz
 718440275530df66a196272d9c970727504223e2 9537 why3_1.8.2-1ubuntu1_source.buildinfo
Checksums-Sha256:
 6f407fe42fc71476f97ff071ccff9bf2e1f3f063bea87006acf66801d9c794a7 2709 why3_1.8.2-1ubuntu1.dsc
 33ae764cfede95afd53ada077ecc6d756bf2fca3fc65d42cbbd932acfd782863 19580 why3_1.8.2-1ubuntu1.debian.tar.xz
 055b57eb03bdea74dad9bbbad2d9b0675ad5e390dedd5fc6ec40d77d664c22f9 9537 why3_1.8.2-1ubuntu1_source.buildinfo
Files:
 9a6fdba79286a267f25543c46882d974 2709 math optional why3_1.8.2-1ubuntu1.dsc
 cb209c6ace17414ee8f5c599153122c3 19580 math optional why3_1.8.2-1ubuntu1.debian.tar.xz
 01fc229f1eddd90df71257cf29f9fc7d 9537 math optional why3_1.8.2-1ubuntu1_source.buildinfo