Format: 1.8
Date: Sat, 17 Feb 2024 01:26:42 +0100
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1.2.3-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-009.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-mathcomp-algebra-tactics - Ring and field tactics for Mathematical Components
Changes:
 mathcomp-algebra-tactics (1.2.3-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 050bb4e7de94c9b98d0096f842862f4623f221cd 602726 libcoq-mathcomp-algebra-tactics_1.2.3-1build2_ppc64el.deb
 d8d00466f279e0afb9b694618245d13dbdc283c2 7933 mathcomp-algebra-tactics_1.2.3-1build2_ppc64el.buildinfo
Checksums-Sha256:
 f5ca8abb2c5c3ec352d4db990c5abdd14a92609c92a9642bcd40110c911e300c 602726 libcoq-mathcomp-algebra-tactics_1.2.3-1build2_ppc64el.deb
 284bca69815d049c1b8540dea99ba07464b47c0f64cfc99a77ab204086557f5e 7933 mathcomp-algebra-tactics_1.2.3-1build2_ppc64el.buildinfo
Files:
 e04f41bffad9300095deb138c0d62e45 602726 ocaml optional libcoq-mathcomp-algebra-tactics_1.2.3-1build2_ppc64el.deb
 2e78c39c76659ee4a1df29d97aa57712 7933 ocaml optional mathcomp-algebra-tactics_1.2.3-1build2_ppc64el.buildinfo