[ubuntu/plucky-proposed] coq-extructures 0.4.0-4build6 (Accepted)

[Matthias Klose]

coq-extructures (0.4.0-4build6) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Wed, 20 Nov 2024 10:31:17 +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/coq-extructures/0.4.0-4build6
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 10:31:17 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-4build6
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-extructures (0.4.0-4build6) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 581f53a9ad7134e0b8e361ce4f9e6cf4d704ab8a 2165 coq-extructures_0.4.0-4build6.dsc
 95585e4b8a3c67210c43fcf8f5f69fc1f3085952 2544 coq-extructures_0.4.0-4build6.debian.tar.xz
 ba33524bbec86bf0fe63c1fd43a6d292f1e2de6b 3841 coq-extructures_0.4.0-4build6_source.buildinfo
Checksums-Sha256:
 bb60302aa3b07b76de0c496a2e948171b881b264b5869d549a885d2becf5fb8b 2165 coq-extructures_0.4.0-4build6.dsc
 d5305a2cbc37492da69708832ed83112bca363264a24e774ca5f85e5e9872e71 2544 coq-extructures_0.4.0-4build6.debian.tar.xz
 fc0720ed7b81cfa44b2f1daf85d59b2c219b2361cc134c78a21815614299c0c0 3841 coq-extructures_0.4.0-4build6_source.buildinfo
Files:
 086e447de772f1532928ff486cbd0397 2165 ocaml optional coq-extructures_0.4.0-4build6.dsc
 500595bb6812f0a73f91274c695228db 2544 ocaml optional coq-extructures_0.4.0-4build6.debian.tar.xz
 2b52e0ec2706b863a3b31cc92fb30eb6 3841 ocaml optional coq-extructures_0.4.0-4build6_source.buildinfo