[ubuntu/oracular-proposed] coq-extructures 0.4.0-4build3 (Accepted)

[Matthias Klose]

coq-extructures (0.4.0-4build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 09:04:18 +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/coq-extructures/0.4.0-4build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 09:04:18 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-4build3
Distribution: oracular
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-4build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 832e965160abd121173b6a61a6a1b79da6fda792 2165 coq-extructures_0.4.0-4build3.dsc
 f89576f794ed244dc452ee55dc823fd05fa3ead6 2492 coq-extructures_0.4.0-4build3.debian.tar.xz
 c9fa4d1ea6d832fe147463e42b128dc382d10a00 5716 coq-extructures_0.4.0-4build3_source.buildinfo
Checksums-Sha256:
 f5f41a5e030767c35bad261576be48cc46a259dc6d530741fa68e7f8864d27bb 2165 coq-extructures_0.4.0-4build3.dsc
 6e3ad57989c6b5af27b0b20004178fbf1f6ab12a3463d96578fddc39a2dfaaaf 2492 coq-extructures_0.4.0-4build3.debian.tar.xz
 0efb910b1135af43f5c9b4fa2be43624bb9f396aea813cc7a39c4b8a1a668cca 5716 coq-extructures_0.4.0-4build3_source.buildinfo
Files:
 2f90cf28f4517101f955d0c329a3997f 2165 ocaml optional coq-extructures_0.4.0-4build3.dsc
 e1bc95d82dd5478cd29e67e954e6cb73 2492 ocaml optional coq-extructures_0.4.0-4build3.debian.tar.xz
 dc448a4cebfdf15ecb045e133849eea9 5716 ocaml optional coq-extructures_0.4.0-4build3_source.buildinfo