Format: 1.8
Date: Sat, 17 Feb 2024 01:27:51 +0100
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis libcoq-mathcomp-classical
Built-For-Profiles: noudeb
Architecture: s390x
Version: 1.0.0-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-010.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-mathcomp-analysis - analysis extension for Mathematical Components
 libcoq-mathcomp-classical - classical logic extension for Mathematical Components
Changes:
 mathcomp-analysis (1.0.0-1build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 07a25ca0a61529a81aff4bf25072097a788a51ff 15900572 libcoq-mathcomp-analysis_1.0.0-1build1_s390x.deb
 9ced560030705b7146971b0b2dc5af4393be3b5b 2462030 libcoq-mathcomp-classical_1.0.0-1build1_s390x.deb
 8df11ecb8f1dbc18b6fbf25207a2c2cc3cca5d5a 8221 mathcomp-analysis_1.0.0-1build1_s390x.buildinfo
Checksums-Sha256:
 1bd719f91044f03aeea7c8faad308f58f4119ac221a75f72baab47de03f428b8 15900572 libcoq-mathcomp-analysis_1.0.0-1build1_s390x.deb
 33df5b9f3a823de970515a49e536ed23cf9111fce494f3a033f7d99cbb1c4556 2462030 libcoq-mathcomp-classical_1.0.0-1build1_s390x.deb
 ef53c1de929f579873dc7e94a0eb52278e314efe14fa9b60b875a49415f77660 8221 mathcomp-analysis_1.0.0-1build1_s390x.buildinfo
Files:
 8a2db192d6f1136ded90b4c71ea7d5bf 15900572 ocaml optional libcoq-mathcomp-analysis_1.0.0-1build1_s390x.deb
 d2f6270a42a2daf2f0bd625a233da810 2462030 ocaml optional libcoq-mathcomp-classical_1.0.0-1build1_s390x.deb
 da24a878c037135bd32799d0049c6c9a 8221 ocaml optional mathcomp-analysis_1.0.0-1build1_s390x.buildinfo