[ubuntu/mantic-proposed] coq-deriving 0.1.1-1build1 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.1.1-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 24 Jul 2023 19:06:15 +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.1.1-1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 24 Jul 2023 19:06:15 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.1-1build1
Distribution: mantic
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.1.1-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 93543216fd73805309e2af2ed804dd977533af78 2112 coq-deriving_0.1.1-1build1.dsc
 9955d0d13baee92d6567f59c6b92950dfa4d0abc 2084 coq-deriving_0.1.1-1build1.debian.tar.xz
 b219765aa738e595fdb6c36f19b4b886c24041b8 7790 coq-deriving_0.1.1-1build1_source.buildinfo
Checksums-Sha256:
 447ead34933c38920555b9d47d0647d5652bff4b55c3ef0ac57a1de5641ea497 2112 coq-deriving_0.1.1-1build1.dsc
 a92ba5c286c8852e854546536045d60a15dc342a9adea2d64c2d3f869ae52c67 2084 coq-deriving_0.1.1-1build1.debian.tar.xz
 f55c602945fe1d71f41774b2f62aa95c76a823a41f6f0f6c2d7b6d639c5b457c 7790 coq-deriving_0.1.1-1build1_source.buildinfo
Files:
 3170295a79fde84d2d4e2486332522f6 2112 ocaml optional coq-deriving_0.1.1-1build1.dsc
 54174c1c385f83db6411f0ba6a578873 2084 ocaml optional coq-deriving_0.1.1-1build1.debian.tar.xz
 cb8074e57fea841436bba38f72cde0c7 7790 ocaml optional coq-deriving_0.1.1-1build1_source.buildinfo