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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Sun, 04 Aug 2024 15:25:11 -0400
Changed-By: Jeremy Bícha <jbicha 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-1build5
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Aug 2024 15:25:11 -0400
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build5
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-math-classes (8.19.0-1build5) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 08aa9ef624b580f6f8cacf1c0ca068096c45aa99 2163 coq-math-classes_8.19.0-1build5.dsc
 2cd3050dd233113d25873e9ba20a1b888c94a194 3108 coq-math-classes_8.19.0-1build5.debian.tar.xz
 f7680306327f6401f739e0102fe7c5f8af8645ce 6809 coq-math-classes_8.19.0-1build5_source.buildinfo
Checksums-Sha256:
 e16cbcc2c250a190a3585490d09f68ed7fab91c7303c6479f923e48c1593a1c6 2163 coq-math-classes_8.19.0-1build5.dsc
 707b626fb42af8e683a6b341b79655ecd03b4086cc08356650569876fd678279 3108 coq-math-classes_8.19.0-1build5.debian.tar.xz
 92e4e92d42404fa13be8d2a4dcf4ed2431505cfdcf93b6bd82872e2bff691a08 6809 coq-math-classes_8.19.0-1build5_source.buildinfo
Files:
 55d5e60e6deb79b4d5aa89317d74dd0f 2163 ocaml optional coq-math-classes_8.19.0-1build5.dsc
 c45b7871721f73893122a23f2493af3d 3108 ocaml optional coq-math-classes_8.19.0-1build5.debian.tar.xz
 354409bdd84f4d9463141493542c863c 6809 ocaml optional coq-math-classes_8.19.0-1build5_source.buildinfo