[ubuntu/oracular-proposed] coq-reglang 1.2.1-3build1 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-3build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:10: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-reglang/1.2.1-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:10:19 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-3build1
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-reglang (1.2.1-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 245cf1487ff454b9c123eaa03d109dfa47bbab5e 2116 coq-reglang_1.2.1-3build1.dsc
 1dfeceb9731b957692ded7da39e5d682a3cfc195 8636 coq-reglang_1.2.1-3build1.debian.tar.xz
 c89ac492c8e92073d415cc04041fa3338520db04 7832 coq-reglang_1.2.1-3build1_source.buildinfo
Checksums-Sha256:
 27c60e0a303131cf81558aeca1ef6b1a5e3f10b2e51632db331135ccd3d38dd0 2116 coq-reglang_1.2.1-3build1.dsc
 9b0045c1f47cc5d1342e80c272c207e90e850ddf93d9bd2b430c22b009d0bccb 8636 coq-reglang_1.2.1-3build1.debian.tar.xz
 e4f4b2cfc4ae7337dcc502f733103848a98395fed99fae8d40d94401befecbae 7832 coq-reglang_1.2.1-3build1_source.buildinfo
Files:
 e571fc02a726fada45da44bae29f1967 2116 ocaml optional coq-reglang_1.2.1-3build1.dsc
 1c3dacfd9677809654726c3d85a276cd 8636 ocaml optional coq-reglang_1.2.1-3build1.debian.tar.xz
 a3e9629f952752b62329d19f57de8228 7832 ocaml optional coq-reglang_1.2.1-3build1_source.buildinfo