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: amd64
Version: 1.0.0-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-071.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:
 592083cc9334e6a40b65db064d2a6fd599b3cff1 15900476 libcoq-mathcomp-analysis_1.0.0-1build1_amd64.deb
 e5f7e8ab23dc3cb7ad562a20f038ccf376c11625 2461908 libcoq-mathcomp-classical_1.0.0-1build1_amd64.deb
 3188676150197e408de787b078c5a36d19fc748e 8410 mathcomp-analysis_1.0.0-1build1_amd64.buildinfo
Checksums-Sha256:
 fc372b6f2530e5eb2dc4c8cc9e36ede0159b2117de282ea4cf805fe6f9cd26c9 15900476 libcoq-mathcomp-analysis_1.0.0-1build1_amd64.deb
 afbb17c2110c054edddfa25e85c44db30c89bbbb9b4f2be38b9532b314d8c742 2461908 libcoq-mathcomp-classical_1.0.0-1build1_amd64.deb
 0c8af0e4cbdafd36ef5871ed3f1ef032cc3abe3195a8f901a908ec5a4ac7d56c 8410 mathcomp-analysis_1.0.0-1build1_amd64.buildinfo
Files:
 a75d4aa29a540faa44c852b95d5e6825 15900476 ocaml optional libcoq-mathcomp-analysis_1.0.0-1build1_amd64.deb
 bed7cec4a30c6be705eca41e61b1761f 2461908 ocaml optional libcoq-mathcomp-classical_1.0.0-1build1_amd64.deb
 92564826199259984e470ecfd4e4ee5b 8410 ocaml optional mathcomp-analysis_1.0.0-1build1_amd64.buildinfo