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: riscv64
Version: 1.0.0-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-026.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:
 776e1162da8c586e8d6c4a2161d077a54200a7b6 15900716 libcoq-mathcomp-analysis_1.0.0-1build1_riscv64.deb
 f5f43c59c4f10a9a98e0166fe7815bfbc9d4e7fb 2461996 libcoq-mathcomp-classical_1.0.0-1build1_riscv64.deb
 ab9193ec298fd8f3f37626922bf8d896fede2412 8176 mathcomp-analysis_1.0.0-1build1_riscv64.buildinfo
Checksums-Sha256:
 83df15afeff91ddd81b2a91dd8a75b0127a6a42531aeed224a25eed62a48703e 15900716 libcoq-mathcomp-analysis_1.0.0-1build1_riscv64.deb
 e96a9a5fc7aba47b2b62fd6c54d42dabdf360aa14849a28ba9cdcf15423c88e2 2461996 libcoq-mathcomp-classical_1.0.0-1build1_riscv64.deb
 feac595bad93cb1ad6e3757badb7c0784e6d38b807b923a91dbdd145a3c55c2e 8176 mathcomp-analysis_1.0.0-1build1_riscv64.buildinfo
Files:
 ed439bc2c18b692595106d23b130e366 15900716 ocaml optional libcoq-mathcomp-analysis_1.0.0-1build1_riscv64.deb
 b6f81b9a567a0ba8a83873e938fad6a9 2461996 ocaml optional libcoq-mathcomp-classical_1.0.0-1build1_riscv64.deb
 dc1b9e8f5366d91e0f93f9d27cf48979 8176 ocaml optional mathcomp-analysis_1.0.0-1build1_riscv64.buildinfo