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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 09:04:05 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 09:04:05 +0200
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build7
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-1build7) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 cccd677a5eb820abfb2c144b9160464abb4d05e6 2163 coq-math-classes_8.19.0-1build7.dsc
 7c410297a48fb477b07fd25f5b2f4df7a589442b 3172 coq-math-classes_8.19.0-1build7.debian.tar.xz
 5b4c9bff20b8a57abe01a90e2ff032ee08866dd1 5724 coq-math-classes_8.19.0-1build7_source.buildinfo
Checksums-Sha256:
 a937c0b04a6f6282fc9eb3d62b6770bfec765dd99616080292d4643f8f64b699 2163 coq-math-classes_8.19.0-1build7.dsc
 abbc7ffb7f5baef28179b33d9b9fc45b500cfa8897bb917be0fdba218ddbf4c6 3172 coq-math-classes_8.19.0-1build7.debian.tar.xz
 e9d8f89582e9d1f3d956e3deca4360650bcfe8fcaf0e497ce8bf4ed73ead2f2c 5724 coq-math-classes_8.19.0-1build7_source.buildinfo
Files:
 3a4b221a1faeaff38e4657dceb185740 2163 ocaml optional coq-math-classes_8.19.0-1build7.dsc
 1f93250dc40d27dad8fe59a10bb6ba77 3172 ocaml optional coq-math-classes_8.19.0-1build7.debian.tar.xz
 89b5d5b0a14b1a2b82237d6010b81f19 5724 ocaml optional coq-math-classes_8.19.0-1build7_source.buildinfo