[ubuntu/lunar-proposed] coq-mtac2 1.4+8.16-2build1 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.16-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:31:39 +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-mtac2/1.4+8.16-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:31:39 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.16-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-mtac2 (1.4+8.16-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 39a455d806f033d8835ce29019c5348ec44f5843 2099 coq-mtac2_1.4+8.16-2build1.dsc
 a366466f9be606c2f4fe62277c09d01827b962a1 2556 coq-mtac2_1.4+8.16-2build1.debian.tar.xz
 d6d234bfc99b0942ef7aa9632c1b22099c501832 7156 coq-mtac2_1.4+8.16-2build1_source.buildinfo
Checksums-Sha256:
 17853aadf87954a92f5aceab6d23191918afe5a0e37b00a6c9cff08f8d9b7bde 2099 coq-mtac2_1.4+8.16-2build1.dsc
 47c3b681a63763b0cc8e5849243caee8da1a00777dc4cef46fde5f28e63c3de0 2556 coq-mtac2_1.4+8.16-2build1.debian.tar.xz
 ff340e1a60cbdb2e617e1e4aede7cc492299ec85f61db20df19182bbcd7a15f7 7156 coq-mtac2_1.4+8.16-2build1_source.buildinfo
Files:
 3f263fd1757fa1961570d671fd96d6c3 2099 ocaml optional coq-mtac2_1.4+8.16-2build1.dsc
 7a4eb7436b3b0db45b7d54c5521da1c1 2556 ocaml optional coq-mtac2_1.4+8.16-2build1.debian.tar.xz
 4917f6a05d712832926fef2a45f53388 7156 ocaml optional coq-mtac2_1.4+8.16-2build1_source.buildinfo