[ubuntu/plucky-proposed] coq-relation-algebra 1.7.10-4build7 (Accepted)

[Matthias Klose]

coq-relation-algebra (1.7.10-4build7) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Wed, 20 Nov 2024 10:29:36 +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-relation-algebra/1.7.10-4build7
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 10:29:36 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-4build7
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-relation-algebra (1.7.10-4build7) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 8679cf1af1ca0c9b5ae511df3450c8a31c5814ec 2250 coq-relation-algebra_1.7.10-4build7.dsc
 a90ea5860eed2ef53c72681b3682f61037d89ae5 2420 coq-relation-algebra_1.7.10-4build7.debian.tar.xz
 d43ec3ec9ef1c34e48bd060513e7f9dfc3919f8d 3865 coq-relation-algebra_1.7.10-4build7_source.buildinfo
Checksums-Sha256:
 07bf056540e5dfd33eb634236ceca3a4b45b92f7f27a45d98ab02d030cd74a7a 2250 coq-relation-algebra_1.7.10-4build7.dsc
 c6adb1ac69322a626aefa9e0dc135d4d75b45d82b17ab7389be6c9f4180e6ffe 2420 coq-relation-algebra_1.7.10-4build7.debian.tar.xz
 a5833351cad6830a5d72069d9314a9b387e5f873cc59e694ef3fe954cdc9e092 3865 coq-relation-algebra_1.7.10-4build7_source.buildinfo
Files:
 190e0cf46ef000d72f5d68e903fbc02e 2250 ocaml optional coq-relation-algebra_1.7.10-4build7.dsc
 62aa15cc2c49ad941fda744e30f49752 2420 ocaml optional coq-relation-algebra_1.7.10-4build7.debian.tar.xz
 f3909418b09a6db805b99c60b9473e11 3865 ocaml optional coq-relation-algebra_1.7.10-4build7_source.buildinfo