[ubuntu/lunar-proposed] coq-gappa 1.5.2-4build1 (Accepted)

[Gianfranco Costamagna]

coq-gappa (1.5.2-4build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:13:15 +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-gappa/1.5.2-4build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:13:15 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.2-4build1
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-gappa (1.5.2-4build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6324f5da795f5e628299163a69cf3cc26f8fef53 2067 coq-gappa_1.5.2-4build1.dsc
 04bcb6b2702080bb3bab654651399c5e00e977dd 2032 coq-gappa_1.5.2-4build1.debian.tar.xz
 d434b7fe1a76ee11efc8f4dce6bb4dc9e87636fd 7856 coq-gappa_1.5.2-4build1_source.buildinfo
Checksums-Sha256:
 adfe776cc5f706689e3f0728a7f1650ddf2de386d671fd3d5c2bea7b9ef567b6 2067 coq-gappa_1.5.2-4build1.dsc
 54bbd590ff06db9d4c88e9db62e51f5dbd01ccf6ecdc4289e4c524986774f1c4 2032 coq-gappa_1.5.2-4build1.debian.tar.xz
 7bb344a11684c335da7f861137f56d31a4955a2db309b04be21cf46910a98c75 7856 coq-gappa_1.5.2-4build1_source.buildinfo
Files:
 d4aca71b47cebeb7f5db0deca72c0add 2067 math optional coq-gappa_1.5.2-4build1.dsc
 ab2f1580fb36d573e93fa5c251772a72 2032 math optional coq-gappa_1.5.2-4build1.debian.tar.xz
 31b31ea646ef0277bb85be0915150a75 7856 math optional coq-gappa_1.5.2-4build1_source.buildinfo