Format: 1.8
Date: Fri, 22 Apr 2022 13:02:06 +0200
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 0.3.0-1
Distribution: kinetic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lcy01-030.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-algebra-tactics - Ring and field tactics for Mathematical Components
Closes: 1010014
Changes:
 mathcomp-algebra-tactics (0.3.0-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1010014)
Checksums-Sha1:
 5ce3153e7e2310bed1a14b39eade613277154b58 251438 libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb
 9fa0faf8f5a127210a02961d70f283af1952c78c 6773 mathcomp-algebra-tactics_0.3.0-1_riscv64.buildinfo
Checksums-Sha256:
 781c6a5046e71195fe469ee655efc9591f764ec41f690bab228c98afe9603667 251438 libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb
 0d29ba4bba7c436e9f549e453ea1fc390f5fcfb6dff9e2d2ed4e0f9a9ef655a8 6773 mathcomp-algebra-tactics_0.3.0-1_riscv64.buildinfo
Files:
 36056763fa99a5881627d2e91f38acd5 251438 ocaml optional libcoq-mathcomp-algebra-tactics_0.3.0-1_riscv64.deb
 31decf86813984fc6c6e73c39e8ec1fe 6773 ocaml optional mathcomp-algebra-tactics_0.3.0-1_riscv64.buildinfo