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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:01:17 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:01:17 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20220816-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c06b43d00a4cfbd15ec200834b8e891806a2cf96 2098 coq-unimath_20220816-2build1.dsc
 99b5efe1c55afbc0fa30aa7a8cca27b25b25c477 1852 coq-unimath_20220816-2build1.debian.tar.xz
 cc9062bbb578336c29f3aceba10033f447503c13 7120 coq-unimath_20220816-2build1_source.buildinfo
Checksums-Sha256:
 56319fb7a228b4cc3c870b39d4ce954fd351b8dbdbfaaf788cd19934b9e4c04c 2098 coq-unimath_20220816-2build1.dsc
 199e2ad0439e3e4ec1b58df6751825e84cc18ce3fcac677588e7b68c4f3eb7f8 1852 coq-unimath_20220816-2build1.debian.tar.xz
 c4ca15cf9b7789e131db4397ea5e237ed3f31b08d66a72786881ba807c4e8369 7120 coq-unimath_20220816-2build1_source.buildinfo
Files:
 971a382faa26919cb94f3801fa7e6535 2098 ocaml optional coq-unimath_20220816-2build1.dsc
 fb4cde88295269ec7349c1e9d414e366 1852 ocaml optional coq-unimath_20220816-2build1.debian.tar.xz
 b29feecaa49c1be14e8fdcb6e1a69d70 7120 ocaml optional coq-unimath_20220816-2build1_source.buildinfo