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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:29:45 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:29:45 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20220816-2build2
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-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 421a58aa28e4b01cdb84ef3b88109ae4e5b81623 2098 coq-unimath_20220816-2build2.dsc
 85a2f89e589f75c6d3e4dd82e481f233cc9f3872 1864 coq-unimath_20220816-2build2.debian.tar.xz
 1e417ca07fa026005d6e4fd5bf08d21c1c4722a8 7164 coq-unimath_20220816-2build2_source.buildinfo
Checksums-Sha256:
 27a8ea33ebb224a669520789a21eb6a6d7d90437d6febe9bb2904670294bf5d8 2098 coq-unimath_20220816-2build2.dsc
 59eea0f03e75ea5e70cb596aa530fe5448777ed7513f65b9073a80d75a7f4c32 1864 coq-unimath_20220816-2build2.debian.tar.xz
 ba97bcf15bca90860b45c73e94b91678e52ec56af812091c48dfefc721570c30 7164 coq-unimath_20220816-2build2_source.buildinfo
Files:
 7409903fa95e38c4a4abdee05624c794 2098 ocaml optional coq-unimath_20220816-2build2.dsc
 7e5b182dc542002e1589a1da0d64bd29 1864 ocaml optional coq-unimath_20220816-2build2.debian.tar.xz
 18073d45e354661595ac1f0e0290d896 7164 ocaml optional coq-unimath_20220816-2build2_source.buildinfo