[ubuntu/oracular-proposed] coq-mtac2 1.4+8.19-1build2 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.19-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:38:19 +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.19-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:38:19 +0200
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.19-1build2
Distribution: oracular
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.19-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a2484d8d7636462ab52c04b91c1abcadc5e6d257 2099 coq-mtac2_1.4+8.19-1build2.dsc
 14942dc2baedeb620caebaa18891692b926647d7 2872 coq-mtac2_1.4+8.19-1build2.debian.tar.xz
 543fe0764506de178f336d90f6f2bb01f73a45b8 7836 coq-mtac2_1.4+8.19-1build2_source.buildinfo
Checksums-Sha256:
 8e333383bb8ce7e7581267239f5545f0a265712719fcba6acf4a02c8b0e5b80d 2099 coq-mtac2_1.4+8.19-1build2.dsc
 7d39ff12d8ac50d6d4665f407882f753cf984725de12b5e07e3e1d3ebf3df7fe 2872 coq-mtac2_1.4+8.19-1build2.debian.tar.xz
 d849f63aa823c9eac0bf23111da9a24179efebcbbbf3020fdab27e704dc16b3a 7836 coq-mtac2_1.4+8.19-1build2_source.buildinfo
Files:
 924818d3156931b77d7e97aa114545c7 2099 ocaml optional coq-mtac2_1.4+8.19-1build2.dsc
 30c577deed6ab439194b95bfad2ca00d 2872 ocaml optional coq-mtac2_1.4+8.19-1build2.debian.tar.xz
 c6567c8260ee8def8463473f28886303 7836 ocaml optional coq-mtac2_1.4+8.19-1build2_source.buildinfo