[ubuntu/kinetic-proposed] coq-iris 3.6.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-iris (3.6.0-1build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 22 Jul 2022 00:25: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-iris/3.6.0-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 22 Jul 2022 00:25:29 +0200
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 3.6.0-1build1
Distribution: kinetic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-iris (3.6.0-1build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6b68fe4834e4e837dfbad7390506f9979ed17066 2146 coq-iris_3.6.0-1build1.dsc
 6e600adce893513060343e1bef3919618d7a2b0e 11948 coq-iris_3.6.0-1build1.debian.tar.xz
 5838a3b75f7ad126d854dd719d25e5b465af913b 7667 coq-iris_3.6.0-1build1_source.buildinfo
Checksums-Sha256:
 837cbae53e217526ec5f77c22b57982e158043c5b4467bc200faf83552b2a3c6 2146 coq-iris_3.6.0-1build1.dsc
 0f041a003188b12a5b19b3a51fcfecb0cb81acae47d2c3687e12b68ce5c27480 11948 coq-iris_3.6.0-1build1.debian.tar.xz
 0b3fc597384276064860e47aa95143ba5f3659867293dcfe1089531ddb03db72 7667 coq-iris_3.6.0-1build1_source.buildinfo
Files:
 c2e71d2fde11b0b96a43962170d0ae81 2146 ocaml optional coq-iris_3.6.0-1build1.dsc
 bfa732290e73f9a914c2dbbe31bb07e2 11948 ocaml optional coq-iris_3.6.0-1build1.debian.tar.xz
 25bfc3c71c87de64dd0c09e670bb19be 7667 ocaml optional coq-iris_3.6.0-1build1_source.buildinfo