[ubuntu/noble-proposed] coq-reglang 1.2.1-1build5 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-1build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:15:06 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-reglang/1.2.1-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:15:06 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-1build5
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-reglang (1.2.1-1build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8233dee9ce32ae19d4ce09376526253a55a8974d 2195 coq-reglang_1.2.1-1build5.dsc
 9b4be49ddc2c6efd182c9343aaef5b829f0b8eed 8768 coq-reglang_1.2.1-1build5.debian.tar.xz
 eb7fd8681390b96a3d6ad807cefa3b7ce69c398c 7832 coq-reglang_1.2.1-1build5_source.buildinfo
Checksums-Sha256:
 2bf747f4939cd16c0a020aaf3d38bd3ff76a7f9eee6b37a332974d2eff4c42c3 2195 coq-reglang_1.2.1-1build5.dsc
 c71c417dea512d3b3c780efa3d98d0240b0e3aafb47f47e928d682562125041e 8768 coq-reglang_1.2.1-1build5.debian.tar.xz
 879679af2e17e8ee28d068d6cf6fbeb4364cdc389029f65f4151e1bcc517b55d 7832 coq-reglang_1.2.1-1build5_source.buildinfo
Files:
 3273b10cb59d9fbc48568f15ef23b375 2195 ocaml optional coq-reglang_1.2.1-1build5.dsc
 2171dd44355e713f8245a256b4ab342c 8768 ocaml optional coq-reglang_1.2.1-1build5.debian.tar.xz
 aae4f96c74cd9aab73d0bcbcc6cacf16 7832 ocaml optional coq-reglang_1.2.1-1build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>