[ubuntu/oracular-proposed] coq-math-classes 8.19.0-1build8 (Accepted)

[Matthias Klose]

coq-math-classes (8.19.0-1build8) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 19:20:11 +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-math-classes/8.19.0-1build8
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 19:20:11 +0200
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build8
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-math-classes (8.19.0-1build8) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 3fdae089baeee0384765258dd8bd211bac54eff1 2163 coq-math-classes_8.19.0-1build8.dsc
 3493440c86307ee8547de50b9d77ebddab382efe 3180 coq-math-classes_8.19.0-1build8.debian.tar.xz
 0b3c6a74d92a843205d1e8ceac14c099a0ad1b98 5724 coq-math-classes_8.19.0-1build8_source.buildinfo
Checksums-Sha256:
 b795b4937816403309c2e0e4d59a58f221cb92d43e4011ee9f36d783d6bf750f 2163 coq-math-classes_8.19.0-1build8.dsc
 d89666db02bd6d87362f40c4e0b597e2a71694efcad1e3417b0b75b1472d8bcd 3180 coq-math-classes_8.19.0-1build8.debian.tar.xz
 dd9e25ee71e719b5879ba44d882d0028073f72a4ead7db973af29f24c257138e 5724 coq-math-classes_8.19.0-1build8_source.buildinfo
Files:
 65a43187ea68d26c70c614752ad0f0e8 2163 ocaml optional coq-math-classes_8.19.0-1build8.dsc
 7f6b471b7f80c300c87117699e1b7f41 3180 ocaml optional coq-math-classes_8.19.0-1build8.debian.tar.xz
 9d4025289b396238753867e72f51b743 5724 ocaml optional coq-math-classes_8.19.0-1build8_source.buildinfo