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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:12:58 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-math-classes/8.19.0-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:12:58 +0200
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-math-classes (8.19.0-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 39c8911b666c803c38c1f59c2cb3f519011f5d12 2163 coq-math-classes_8.19.0-1build1.dsc
 005ca97d9781558e11e06c001e9296948dd854e1 3012 coq-math-classes_8.19.0-1build1.debian.tar.xz
 d6b7e9b4201e23aace30f4f359a42e3f9e0626fa 7856 coq-math-classes_8.19.0-1build1_source.buildinfo
Checksums-Sha256:
 cfca16142ac9b775ceeef7f438754dda99c148ee1766de1d7bcc98495807dd3b 2163 coq-math-classes_8.19.0-1build1.dsc
 a5732b7398f8b5a67979202eea7cd9f35d18f6e64a621d495119e471b2acdfe7 3012 coq-math-classes_8.19.0-1build1.debian.tar.xz
 39488c1ad3db9f86863083be7a71b62dd09680e2b2eb4a332eee4dc88fe01158 7856 coq-math-classes_8.19.0-1build1_source.buildinfo
Files:
 7fbda1a609b34e172305b055ffc2351b 2163 ocaml optional coq-math-classes_8.19.0-1build1.dsc
 81b609802f4ac4f4ecabfdade26a8453 3012 ocaml optional coq-math-classes_8.19.0-1build1.debian.tar.xz
 6e7e0c479ab8d661955c59c6da48fc0e 7856 ocaml optional coq-math-classes_8.19.0-1build1_source.buildinfo