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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 23:26:16 -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-2build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 23:26:16 -0500
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240923-2build1
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-2build1) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 3769de77d93e4f2ebecb96904641eafed3e86324 2108 coq-unimath_20240923-2build1.dsc
 d79f90039eef0c3fdb0679cdabd332017fa6f68b 2352 coq-unimath_20240923-2build1.debian.tar.xz
 9be59b2c7090f125c99edc3581af563d08d41f19 7070 coq-unimath_20240923-2build1_source.buildinfo
Checksums-Sha256:
 0336b21cb8c3988602f542c9bedf4921965b8e0d66fc746cc1eb822c6024098a 2108 coq-unimath_20240923-2build1.dsc
 acbf26d3bbd55a056d83a12702d0b038f2ddae7168b2713c7d411f7c6d8a2d1d 2352 coq-unimath_20240923-2build1.debian.tar.xz
 814565565e94c38f2334eeeab4b14b86ad48d98ad7d903403cdd4ea1c34cb7c9 7070 coq-unimath_20240923-2build1_source.buildinfo
Files:
 2d3c2f6561e1e5aee79f3b3249bf9270 2108 ocaml optional coq-unimath_20240923-2build1.dsc
 de55c50319ff19703fd33c9fc9fb95dd 2352 ocaml optional coq-unimath_20240923-2build1.debian.tar.xz
 0bad715521906416cea75852bdffa2a9 7070 ocaml optional coq-unimath_20240923-2build1_source.buildinfo