[ubuntu/oracular-proposed] coq-reglang 1.2.1-4build4 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-4build4) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 11 Sep 2024 21:49:24 +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-4build4
-------------- next part --------------
Format: 1.8
Date: Wed, 11 Sep 2024 21:49:24 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build4
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-4build4) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d4df5006f60bb4c8d4da3ea1ef838e404d00bca3 2116 coq-reglang_1.2.1-4build4.dsc
 f252d2a54a022d6564abb275d889783d43bf42bc 8780 coq-reglang_1.2.1-4build4.debian.tar.xz
 c60ee59468f43b231bbd8cbd946788bc39b7f769 7856 coq-reglang_1.2.1-4build4_source.buildinfo
Checksums-Sha256:
 670ac29f76736660b73d21b824fad154c497528f1f84885f50e505c33d1920f2 2116 coq-reglang_1.2.1-4build4.dsc
 f32644baca73bbd7012c1105f32c9b486ca8941b6e3f84b996cbdbd5977f2d41 8780 coq-reglang_1.2.1-4build4.debian.tar.xz
 4c6b75ad1ae5fa250432f8c9cb32a9db3a2ec8da4d72a968f98d7c7913fc6afd 7856 coq-reglang_1.2.1-4build4_source.buildinfo
Files:
 6c62a8ef2e35e940abbae9a991b8e5af 2116 ocaml optional coq-reglang_1.2.1-4build4.dsc
 c59e9ef4f1e7456018b9504fb4dd51eb 8780 ocaml optional coq-reglang_1.2.1-4build4.debian.tar.xz
 0f2b238d6155198d9ddf83a3da1ffceb 7856 ocaml optional coq-reglang_1.2.1-4build4_source.buildinfo