[ubuntu/noble-proposed] coq-unimath 20230420-4build2 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20230420-4build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:13:35 +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/20230420-4build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:13:35 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20230420-4build2
Distribution: noble
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-4build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 78d19d20a35fa87198f2619cc6b18e5382b76608 2108 coq-unimath_20230420-4build2.dsc
 f0476a507191b9095cdbdb312fd2a9621e5e315e 3400 coq-unimath_20230420-4build2.debian.tar.xz
 bd39d2a2e07d1983835da48703a24a9648a2b21d 7824 coq-unimath_20230420-4build2_source.buildinfo
Checksums-Sha256:
 5d2891a4ed8a34e2228023431b917c7dc7bc3d6b9539ca5f6d0454339884abe4 2108 coq-unimath_20230420-4build2.dsc
 968b5a785b08f14c5d613f127ca113b99e021f8802c614aba8b597ab56005f62 3400 coq-unimath_20230420-4build2.debian.tar.xz
 e8483a1d84e4cfc2a85161a583d817c366cac2602383668e526e4d3a8f9c0dbe 7824 coq-unimath_20230420-4build2_source.buildinfo
Files:
 b00a571e661a31d7e7549ebcdb23d4ee 2108 ocaml optional coq-unimath_20230420-4build2.dsc
 35429e6812db069808f03c20abd717be 3400 ocaml optional coq-unimath_20230420-4build2.debian.tar.xz
 8fd0794d379e338845d489cbf35e9f60 7824 ocaml optional coq-unimath_20230420-4build2_source.buildinfo