[ubuntu/oracular-proposed] coq-deriving 0.2.0-3build5 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.2.0-3build5) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 17 Sep 2024 17:43:29 +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-deriving/0.2.0-3build5
-------------- next part --------------
Format: 1.8
Date: Tue, 17 Sep 2024 17:43:29 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-3build5
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-deriving (0.2.0-3build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 be58c6bdeae2c64a9e4b0aadb8320d71f87d82a4 2112 coq-deriving_0.2.0-3build5.dsc
 e20a3586c92cd0ec8e07ba200145239321ab2a4f 2384 coq-deriving_0.2.0-3build5.debian.tar.xz
 56931b9774206e2c4efe1bc6c9a5758b93163213 7860 coq-deriving_0.2.0-3build5_source.buildinfo
Checksums-Sha256:
 ba674716a82cf92159b82c5abd19c9be869d0e50e814f015b1ce695b8edc3228 2112 coq-deriving_0.2.0-3build5.dsc
 4f37ba3a9187ddd4b040353a2a04dfb133d11e920ac6e01382cfe963e20a1e9c 2384 coq-deriving_0.2.0-3build5.debian.tar.xz
 7af475d6f6ccffdc2d598dd25a5e791441964182ddeb37ad6fc568ccbf450fea 7860 coq-deriving_0.2.0-3build5_source.buildinfo
Files:
 f3b74e2d6c8a15ce6757ac0dc07de6d4 2112 ocaml optional coq-deriving_0.2.0-3build5.dsc
 d27664091d7e32b73501c957b51ae08f 2384 ocaml optional coq-deriving_0.2.0-3build5.debian.tar.xz
 4625d25a72dd5d066595167236136e49 7860 ocaml optional coq-deriving_0.2.0-3build5_source.buildinfo