[ubuntu/lunar-proposed] coq-unimath 20220816-1build2 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20220816-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:46:09 +0100
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-unimath/20220816-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:46:09 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20220816-1build2
Distribution: lunar
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-unimath (20220816-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7d179ad02a21c1e383d3b4964b41a1a4416f9619 2093 coq-unimath_20220816-1build2.dsc
 a414dbbd2e140445d6e3833c3d5a919835edb324 1828 coq-unimath_20220816-1build2.debian.tar.xz
 d58da37926069f3c58ce9926d001161ab538b6d0 7899 coq-unimath_20220816-1build2_source.buildinfo
Checksums-Sha256:
 0b93d0020c6773ce27bdaaa2be37ffd648be2f117b6b01e5ea9a3b1b6936f6d0 2093 coq-unimath_20220816-1build2.dsc
 11f8adc8bec9ee9663a712228dad3a25d4e77fdef02668929fbc6b4f37100316 1828 coq-unimath_20220816-1build2.debian.tar.xz
 1c0782f0a31cf400b74129898821121a2d4d613ea20730e1570e2dccd75a7ea1 7899 coq-unimath_20220816-1build2_source.buildinfo
Files:
 85e1943d32ee339431b5d7e6caa4d465 2093 ocaml optional coq-unimath_20220816-1build2.dsc
 f4ac497a36d7a903ea1eb4e3437b76de 1828 ocaml optional coq-unimath_20220816-1build2.debian.tar.xz
 5dc3e04d662744065137249c2b9eb316 7899 ocaml optional coq-unimath_20220816-1build2_source.buildinfo