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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:20:57 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:20:57 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-3build2
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-3build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6d6e90e7ed5f093e2786e1869537fac8e1df7896 2116 coq-reglang_1.2.1-3build2.dsc
 e926952e897b187af5e60ea750720a877d85c414 8648 coq-reglang_1.2.1-3build2.debian.tar.xz
 487d5ce8561b6d96546f055c10fc1a15edfadbf8 7832 coq-reglang_1.2.1-3build2_source.buildinfo
Checksums-Sha256:
 7802e050ebd1bfc597dd5d583144009bca3580762ddda7574d99413121d8b3a9 2116 coq-reglang_1.2.1-3build2.dsc
 dbc0f0119ca9bfe87188a4b006a8cd6c96b6440b9c7e72c26773f4e05d56761e 8648 coq-reglang_1.2.1-3build2.debian.tar.xz
 d2f62b9b2ed80685c09ad215632e480e0acbdcda584a5aa916d1aea35f3e0693 7832 coq-reglang_1.2.1-3build2_source.buildinfo
Files:
 b28b3184464c5cc6505f826da5ce4e5b 2116 ocaml optional coq-reglang_1.2.1-3build2.dsc
 6ac503fe0157e3a32d660f445bc547b7 8648 ocaml optional coq-reglang_1.2.1-3build2.debian.tar.xz
 68d11420d40f0c74619b06d449ecc4bc 7832 ocaml optional coq-reglang_1.2.1-3build2_source.buildinfo