[ubuntu/questing-proposed] coq-mtac2 1.4+8.20-1build6 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.20-1build6) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:30:20 +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-mtac2/1.4+8.20-1build6
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:30:20 +0200
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.20-1build6
Distribution: questing
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.20-1build6) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8b68d81f84db4b9fff99af58dfa9d3666f9cd3b0 2099 coq-mtac2_1.4+8.20-1build6.dsc
 f4bbc79ae472b35ff0bc02bbab2349e3d12e5ac8 3140 coq-mtac2_1.4+8.20-1build6.debian.tar.xz
 bd83771f3ee7a134a1d369a1d20007d9464590d1 7012 coq-mtac2_1.4+8.20-1build6_source.buildinfo
Checksums-Sha256:
 db2e97bf4d9ef6f70f375b8abd605559c246e5a2caf4b84051d4328ddba79b43 2099 coq-mtac2_1.4+8.20-1build6.dsc
 c68c1f6f80662cc9b73e776ce7f7d5a3210ba7f384aea9f070d963d0ad7b61d8 3140 coq-mtac2_1.4+8.20-1build6.debian.tar.xz
 5f5fba2fb73e28c49326f2dd047c5b8fe82bda5b0557bb75d00cb27878f66411 7012 coq-mtac2_1.4+8.20-1build6_source.buildinfo
Files:
 b5f3b32cf0e4e54635b6da460c52e3fc 2099 ocaml optional coq-mtac2_1.4+8.20-1build6.dsc
 1305ddd2cd62e8a6dabe924792df2dfb 3140 ocaml optional coq-mtac2_1.4+8.20-1build6.debian.tar.xz
 430d961ca0c5f09b8dfd96296dc41b45 7012 ocaml optional coq-mtac2_1.4+8.20-1build6_source.buildinfo