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: armhf
Version: 1.2.3-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-017.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:
 2e006344352f431080b48eb3cafff35f0931b15f 602462 libcoq-mathcomp-algebra-tactics_1.2.3-1build2_armhf.deb
 808baffab716209e3a50d8aa2538b783db294540 7762 mathcomp-algebra-tactics_1.2.3-1build2_armhf.buildinfo
Checksums-Sha256:
 249b05932a03b041d1b0cd31ba28025497728a811fbfec4ef3554fee12dcfb10 602462 libcoq-mathcomp-algebra-tactics_1.2.3-1build2_armhf.deb
 44359347c206f1be9c0368a489d478537dd89eeb60807e4908bdbe6fc91100dc 7762 mathcomp-algebra-tactics_1.2.3-1build2_armhf.buildinfo
Files:
 326c1ba22767f3f61053797b3bb9e880 602462 ocaml optional libcoq-mathcomp-algebra-tactics_1.2.3-1build2_armhf.deb
 46afb8a353acd8f525da31829b613d98 7762 ocaml optional mathcomp-algebra-tactics_1.2.3-1build2_armhf.buildinfo