Format: 1.8
Date: Thu, 02 Jun 2022 13:32:21 +0200
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: amd64
Version: 1.0.0-3
Distribution: kinetic
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-038.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-algebra-tactics - Ring and field tactics for Mathematical Components
Changes:
 mathcomp-algebra-tactics (1.0.0-3) unstable; urgency=medium
 .
   * Re-upload to fix ABI breakage.
Checksums-Sha1:
 1225ff64822bb6d4b65126ece31ef96a671c1c06 255364 libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb
 20d3f6098e42cc64acf747a9414945c1549c318c 7014 mathcomp-algebra-tactics_1.0.0-3_amd64.buildinfo
Checksums-Sha256:
 20e7ae005cd71cff1836223b98fc41e869a39f571ec58df9075f9cdb625a792f 255364 libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb
 5e2d8ab28bb2a8bb47c3eaf4b23850dd2471029a928dbab6ccb48ee2f1216128 7014 mathcomp-algebra-tactics_1.0.0-3_amd64.buildinfo
Files:
 2e613f1df9bcfe7c978632256adac406 255364 ocaml optional libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb
 ba91693fc840a9528ec1bc51f891fae5 7014 ocaml optional mathcomp-algebra-tactics_1.0.0-3_amd64.buildinfo