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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Tue, 17 Sep 2024 17:44:42 +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-4build5
-------------- next part --------------
Format: 1.8
Date: Tue, 17 Sep 2024 17:44:42 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build5
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-4build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a4ef72fbff21a5c0a2c961fd8d3c0acc2ff9c8f6 2116 coq-reglang_1.2.1-4build5.dsc
 4704718215a6ca94f92e9853f72ad6f4270df28c 8792 coq-reglang_1.2.1-4build5.debian.tar.xz
 8fa8e48d77398a45beb7af2c3fb0a661ba783578 7856 coq-reglang_1.2.1-4build5_source.buildinfo
Checksums-Sha256:
 f8dba4f28c4073cd40b03db2eaa0b4fa4f6c716e7657aaa2fd2a3bb3f5848ed6 2116 coq-reglang_1.2.1-4build5.dsc
 68b6d2737b6172642062db66390378106def5799e12c5baf20cc39f0cddf63ee 8792 coq-reglang_1.2.1-4build5.debian.tar.xz
 a70a8641f47eb3e81ea3073539bcd1653221a217c7da485f4158a8bff8e8bd40 7856 coq-reglang_1.2.1-4build5_source.buildinfo
Files:
 28cee742775acf26e5545c4c8691b73b 2116 ocaml optional coq-reglang_1.2.1-4build5.dsc
 30681b26fb562ca1f23145b6959bc8de 8792 ocaml optional coq-reglang_1.2.1-4build5.debian.tar.xz
 a549a1f571f0fe0b7f94a7c195acfed5 7856 ocaml optional coq-reglang_1.2.1-4build5_source.buildinfo