[ubuntu/lunar-proposed] coq 8.16.1+dfsg-1build1 (Accepted)

[Gianfranco Costamagna]

coq (8.16.1+dfsg-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 09:26:25 +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/8.16.1+dfsg-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 09:26:25 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.1+dfsg-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 (8.16.1+dfsg-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 de1070412f28a30e1268b83a63ab8a6c0fdffbd9 2628 coq_8.16.1+dfsg-1build1.dsc
 71a814e3cf42f72ad5cbf09e54aa045786ca5c08 33308 coq_8.16.1+dfsg-1build1.debian.tar.xz
 9b5c62861bfdacd6cfe88b7c8057644ed190521b 8096 coq_8.16.1+dfsg-1build1_source.buildinfo
Checksums-Sha256:
 5c16ca02bd394b823f281be54a936e84cc5d907c44a9ea76d16eaebccc81e5da 2628 coq_8.16.1+dfsg-1build1.dsc
 449f529c2935bc0c63cba96c5393fddaa531f741bf3b2276c1d2c24becf10874 33308 coq_8.16.1+dfsg-1build1.debian.tar.xz
 562a2cc3da24b7bbf46471cc9292715b093ad0e142658805813e15b5d58e21a9 8096 coq_8.16.1+dfsg-1build1_source.buildinfo
Files:
 83ac5023d051f49a22a4ddda84631508 2628 math optional coq_8.16.1+dfsg-1build1.dsc
 960195721c72bdda9d2caf2f9cbdfbe0 33308 math optional coq_8.16.1+dfsg-1build1.debian.tar.xz
 06e13d867df497fb1f3e5ff966c21f61 8096 math optional coq_8.16.1+dfsg-1build1_source.buildinfo