[ubuntu/mantic-proposed] coq-unimath 20230420-4build1 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20230420-4build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:12:09 +0200
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/20230420-4build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:12:09 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20230420-4build1
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-unimath (20230420-4build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2008d78d838cc91e06c23500c7c433462023654c 2108 coq-unimath_20230420-4build1.dsc
 692b84dc14030a67e1a8dc578a1b7e8b61f74f46 3384 coq-unimath_20230420-4build1.debian.tar.xz
 d3fdc4033fefd62649cb69a4a4ff22ba94055bcc 7798 coq-unimath_20230420-4build1_source.buildinfo
Checksums-Sha256:
 218fa1edf7ecea6e1240d9fdaaab7c7ae71efb2a5d9c164285402d8ab89c6fa5 2108 coq-unimath_20230420-4build1.dsc
 03afcbc9676399d1d20b9899d4105317dd4cd3f53a7fba82d0ad250948b0d144 3384 coq-unimath_20230420-4build1.debian.tar.xz
 d29bafb7228b1d3ffd28ded06cdc89fbdee80791e33f63712c16f9c5fe4f0d58 7798 coq-unimath_20230420-4build1_source.buildinfo
Files:
 35eb6efd3f206d43fe949bd0abf63453 2108 ocaml optional coq-unimath_20230420-4build1.dsc
 a54401a09d6c6c3fa78408ff6cbd4995 3384 ocaml optional coq-unimath_20230420-4build1.debian.tar.xz
 4db4c6d0661065885985439b994f41e7 7798 ocaml optional coq-unimath_20230420-4build1_source.buildinfo