[ubuntu/mantic-proposed] coq-hott 8.17-1build1 (Accepted)

[Gianfranco Costamagna]

coq-hott (8.17-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:11:04 +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-hott/8.17-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:11:04 +0200
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17-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-hott (8.17-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6d8a3b7a336c52258783bb5ad002c828a03ee3ad 2028 coq-hott_8.17-1build1.dsc
 f7108bcf9d788454e5cdd443fd0737166da003f3 2668 coq-hott_8.17-1build1.debian.tar.xz
 753f270211a2eaec438247aedcca6414201be364 7770 coq-hott_8.17-1build1_source.buildinfo
Checksums-Sha256:
 11d2233544438a35c50cedad9a32adb51dd4b23b75db98e9f9ee8a637fefc717 2028 coq-hott_8.17-1build1.dsc
 97a5f8b00fed019f86429d26cb7dcfa44a84d6cf4c8e33aac3fba1b732637ca5 2668 coq-hott_8.17-1build1.debian.tar.xz
 8e7cc2490435720cb4a8ee47428e5eb0039156d3e8f31d84382920c5869f1d08 7770 coq-hott_8.17-1build1_source.buildinfo
Files:
 84858c5478b77d001a0a6fb02560e427 2028 ocaml optional coq-hott_8.17-1build1.dsc
 c22192f86fdf427b4443bb585fbe0486 2668 ocaml optional coq-hott_8.17-1build1.debian.tar.xz
 7916a7e459026082749e9aec7ded668c 7770 ocaml optional coq-hott_8.17-1build1_source.buildinfo