Format: 1.8
Date: Sat, 17 Feb 2024 01:25:27 +0100
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Built-For-Profiles: noudeb
Architecture: s390x
Version: 2.0.0-2build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-s390x-004.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:
 ce0b6ecfbd9c12daf5ec5629013262ee43ee321c 729620 libcoq-mathcomp-finmap_2.0.0-2build2_s390x.deb
 d843515fb54f74c763fe4eabe22ece3480b61607 7593 mathcomp-finmap_2.0.0-2build2_s390x.buildinfo
Checksums-Sha256:
 d703a81640e7141e95c6992e7b27a156493acbc5cc949485d51f06e8094cb74d 729620 libcoq-mathcomp-finmap_2.0.0-2build2_s390x.deb
 ba808754a662f6bf85a770212993dbd875d3abf674ef8c60feb1324e8030ffea 7593 mathcomp-finmap_2.0.0-2build2_s390x.buildinfo
Files:
 9d92976d38e0be7fd9be9bc685273d53 729620 ocaml optional libcoq-mathcomp-finmap_2.0.0-2build2_s390x.deb
 e4e7d56eb32c81ca1a00757dd02f19c6 7593 ocaml optional mathcomp-finmap_2.0.0-2build2_s390x.buildinfo