[ubuntu/plucky-proposed] coq-unimath 20240923-1build1 (Accepted)

[Jeremy Bícha]

coq-unimath (20240923-1build1) plucky; urgency=medium

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 21:32:20 -0500
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-unimath/20240923-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 21:32:20 -0500
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240923-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-unimath (20240923-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 4f5b4892cf80059fc7716a01fe2f62934e549eb7 2108 coq-unimath_20240923-1build1.dsc
 9f20c1a35c4f16aac1b2aa68e9d6cda1f0860d98 2316 coq-unimath_20240923-1build1.debian.tar.xz
 e4528f98bac75d1d8382f4cdd7039033e996a193 6981 coq-unimath_20240923-1build1_source.buildinfo
Checksums-Sha256:
 5329d59076b291d7b5f2f2676ba214bf70b38e6257b337bdde56c07ad3245b5b 2108 coq-unimath_20240923-1build1.dsc
 c1d906ba6489c0944300b3029f4164063b36459e24806f252efa71f942c831ba 2316 coq-unimath_20240923-1build1.debian.tar.xz
 0297cdaee34b061d3bb2534add48b83d58e7a0a8e681e15bc945ffa3aa2065e1 6981 coq-unimath_20240923-1build1_source.buildinfo
Files:
 2482a51c9a1523e8df45b8e745db2ecf 2108 ocaml optional coq-unimath_20240923-1build1.dsc
 1a42257ad3acdf3df281bb19b184ac04 2316 ocaml optional coq-unimath_20240923-1build1.debian.tar.xz
 fe5ad709cb235627c01623094c017bca 6981 ocaml optional coq-unimath_20240923-1build1_source.buildinfo