[ubuntu/mantic-proposed] coq-equations 1.3-8.17-2build1 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.17-2build1) mantic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 04 Sep 2023 12:31:08 +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-equations/1.3-8.17-2build1
-------------- next part --------------
Format: 1.8
Date: Mon, 04 Sep 2023 12:31:08 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.17-2build1
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-equations (1.3-8.17-2build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5e8c2ffa02e0cd87d8693b84c7cd50aa7d92f2ba 2165 coq-equations_1.3-8.17-2build1.dsc
 683a26509a157d5986f00d12d3a8c68b37cea2b7 2692 coq-equations_1.3-8.17-2build1.debian.tar.xz
 741fd83170d6f4c744095b732a22371537b7ffe4 7800 coq-equations_1.3-8.17-2build1_source.buildinfo
Checksums-Sha256:
 bb3ce5edc16be27c283b11bf13089f143f1db621619da6aa755890345803f5d8 2165 coq-equations_1.3-8.17-2build1.dsc
 af037b41ffa65c066c6776aec5dc68e5feb41a061c9bb046349532a2989d6f8f 2692 coq-equations_1.3-8.17-2build1.debian.tar.xz
 3297b034d363ed29647436659d835fd0e751d52d9dda029d9143ba3d817d5882 7800 coq-equations_1.3-8.17-2build1_source.buildinfo
Files:
 098e42fc4a2fb93ce43fc37e6e3afc11 2165 ocaml optional coq-equations_1.3-8.17-2build1.dsc
 8271248afaf6246cfa1b84b921be8f69 2692 ocaml optional coq-equations_1.3-8.17-2build1.debian.tar.xz
 9d06f3508ca7e49bba073b8e74410bd5 7800 ocaml optional coq-equations_1.3-8.17-2build1_source.buildinfo