Format: 1.8
Date: Sat, 17 Feb 2024 01:25:27 +0100
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Built-For-Profiles: noudeb
Architecture: arm64
Version: 2.0.0-2build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-arm64-039.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-mathcomp-finmap - finite sets and maps extension for Mathematical Components
Changes:
 mathcomp-finmap (2.0.0-2build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 457b2cceeeae34103c682015a759b1de173255c9 729620 libcoq-mathcomp-finmap_2.0.0-2build2_arm64.deb
 bd8db01c1ec2134e928995fb8a0735d3b6a7ba1d 7749 mathcomp-finmap_2.0.0-2build2_arm64.buildinfo
Checksums-Sha256:
 7bf6fdc8d5a56de41acb74d7ed38b8ed1e96851503605ae0165754222db60446 729620 libcoq-mathcomp-finmap_2.0.0-2build2_arm64.deb
 12da9b336ba6d1fe5700f61372ed497337821c5ae0c7d3341f431a5a4875d02e 7749 mathcomp-finmap_2.0.0-2build2_arm64.buildinfo
Files:
 8f57f340789d3c19b2dab5ff37ffa009 729620 ocaml optional libcoq-mathcomp-finmap_2.0.0-2build2_arm64.deb
 a4180280400ba5f6f713dd243f908ad8 7749 ocaml optional mathcomp-finmap_2.0.0-2build2_arm64.buildinfo