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: s390x
Version: 1.2.3-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-015.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:
 0099e8142770d715f036fc92b9d2960f09332b8d 602720 libcoq-mathcomp-algebra-tactics_1.2.3-1build2_s390x.deb
 d1b797ebd90bd6af813a20615ff27b407edaf6aa 7769 mathcomp-algebra-tactics_1.2.3-1build2_s390x.buildinfo
Checksums-Sha256:
 3e90df35cd32488403031754ea8d432ba312ba3732edb4587f10c3a4c8214d9f 602720 libcoq-mathcomp-algebra-tactics_1.2.3-1build2_s390x.deb
 1c4f52904827fa9269648a6372a031f082a47915538b4541c170f489729cc4fd 7769 mathcomp-algebra-tactics_1.2.3-1build2_s390x.buildinfo
Files:
 e30439e9b437db623cffceb731de1df3 602720 ocaml optional libcoq-mathcomp-algebra-tactics_1.2.3-1build2_s390x.deb
 caa8ec6fe0b4f8ba9b6c8054b24f193c 7769 ocaml optional mathcomp-algebra-tactics_1.2.3-1build2_s390x.buildinfo