[ubuntu/lunar-proposed] coq-reglang 1.1.3-1build3 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.1.3-1build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 09:48:46 +0100
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.1.3-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 09:48:46 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-1build3
Distribution: lunar
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.1.3-1build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 254e06004a61813cc90e660988c0da52f2c2313d 2105 coq-reglang_1.1.3-1build3.dsc
 7c426ab427bd7d81a356f57e387bf3f07bb7b152 8460 coq-reglang_1.1.3-1build3.debian.tar.xz
 b4a6fbb927d7976a923bcc5ec9fcbae8ce706184 7108 coq-reglang_1.1.3-1build3_source.buildinfo
Checksums-Sha256:
 4d008880899710336a34ab5aff317f896099f43de26721bc31bbba858ea21de9 2105 coq-reglang_1.1.3-1build3.dsc
 07b4dde560873ff3e32c101963832b678928acd35297c89e797156950c1dd8a5 8460 coq-reglang_1.1.3-1build3.debian.tar.xz
 24eb4c715b2a17ace7867f431cb28fa0f7d937407912f32b0a1d75f572e52985 7108 coq-reglang_1.1.3-1build3_source.buildinfo
Files:
 89b15e040a5ba624c94c40bf206e15ce 2105 ocaml optional coq-reglang_1.1.3-1build3.dsc
 b99da6fcbf862665add65be2b3d483a4 8460 ocaml optional coq-reglang_1.1.3-1build3.debian.tar.xz
 135d8f80a38f1f40635d6b01b660b83a 7108 ocaml optional coq-reglang_1.1.3-1build3_source.buildinfo