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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 09:24:23 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 09:24:23 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20220816-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2269c1ab8e127fc056d75165d2e18d5f37e970fc 2093 coq-unimath_20220816-1build1.dsc
 01fe5355b04ec8f5e6e7f44b81705393fedf38aa 1808 coq-unimath_20220816-1build1.debian.tar.xz
 2592c1573c01f7482b38f96af21cf4acc317882f 7897 coq-unimath_20220816-1build1_source.buildinfo
Checksums-Sha256:
 ff66fe6616e5971580c260520471b35c17b5a9afce03d292e863dd58be5c603b 2093 coq-unimath_20220816-1build1.dsc
 ae28e5cc318254bf988fc34f04cc5f5faa7d4be14a878a47e700194d585a99e8 1808 coq-unimath_20220816-1build1.debian.tar.xz
 78d163bf2e051e3fccadfa034fac91307994a211df897dadba1d130d3cea3c70 7897 coq-unimath_20220816-1build1_source.buildinfo
Files:
 d874ea7a28b8e76365cde1b385432d7e 2093 ocaml optional coq-unimath_20220816-1build1.dsc
 de3e31b1d5f59082d3d163fe92083b40 1808 ocaml optional coq-unimath_20220816-1build1.debian.tar.xz
 646a25d8911ff2093cb7627d2f1bd5ac 7897 ocaml optional coq-unimath_20220816-1build1_source.buildinfo