Format: 1.8
Date: Mon, 08 Apr 2024 09:19:35 +0200
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis libcoq-mathcomp-classical
Built-For-Profiles: noudeb
Architecture: arm64
Version: 1.0.0-1build4
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-078.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-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c82e47a312d5a9c25da373b3b0c237ea64d3f210 15900464 libcoq-mathcomp-analysis_1.0.0-1build4_arm64.deb
 31417df6425d4781322081c748892e6fc07c278f 2461936 libcoq-mathcomp-classical_1.0.0-1build4_arm64.deb
 7f617a1f580a721a10c2a3f2ace7af800fc3a3b6 8389 mathcomp-analysis_1.0.0-1build4_arm64.buildinfo
Checksums-Sha256:
 7d47d62e1a8df98b0599775cea997ec9f75f07936e4e205aae7dfa227e6eff44 15900464 libcoq-mathcomp-analysis_1.0.0-1build4_arm64.deb
 9b5fbe29ff8090a3ce595da5407ba07cca667040468146894e3d48f414b87d06 2461936 libcoq-mathcomp-classical_1.0.0-1build4_arm64.deb
 a5a62e855d49561ac37d84a6dedf8fbcb833f9f689baaeea74b9e539704b49be 8389 mathcomp-analysis_1.0.0-1build4_arm64.buildinfo
Files:
 b51f5b0fe55742a2a46e438b0ac8a16f 15900464 ocaml optional libcoq-mathcomp-analysis_1.0.0-1build4_arm64.deb
 e4093e6f1f65d30936c8d5c4e472e954 2461936 ocaml optional libcoq-mathcomp-classical_1.0.0-1build4_arm64.deb
 3913a729b2d5b2c5d13b629aad1d9e42 8389 ocaml optional mathcomp-analysis_1.0.0-1build4_arm64.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>