[ubuntu/mantic-proposed] coq 8.17.0+dfsg-1build1 (Accepted)

[Gianfranco Costamagna]

coq (8.17.0+dfsg-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 24 Jul 2023 19:05:45 +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/8.17.0+dfsg-1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 24 Jul 2023 19:05:45 +0200
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0+dfsg-1build1
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 (8.17.0+dfsg-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 90e074dd3b915cd37f8b2e8afea6c134b33ae059 2628 coq_8.17.0+dfsg-1build1.dsc
 d3ce67938c4528b61af4ed48ad8cb47d92293b6c 33152 coq_8.17.0+dfsg-1build1.debian.tar.xz
 16831d303b260b4f15208c81382265829f70adca 8830 coq_8.17.0+dfsg-1build1_source.buildinfo
Checksums-Sha256:
 95e2efab4106474e41f0661ac41e5bd4194f24079fc17529523404c0a2bed66d 2628 coq_8.17.0+dfsg-1build1.dsc
 d493f6716cc32358890f7829583a54a1a3094cd6ebc11d31830fe55c81aaf01e 33152 coq_8.17.0+dfsg-1build1.debian.tar.xz
 14ce211e766c69c02e5ce9beb739b103687697fdebb9f23752282c9868766f0b 8830 coq_8.17.0+dfsg-1build1_source.buildinfo
Files:
 fd19ed268a3c2f3d42c66360032c68ed 2628 math optional coq_8.17.0+dfsg-1build1.dsc
 199f8054929d946c55321a1829a16a8b 33152 math optional coq_8.17.0+dfsg-1build1.debian.tar.xz
 f3448383370a886e5c1a887a302a07ec 8830 math optional coq_8.17.0+dfsg-1build1_source.buildinfo