Format: 1.8
Date: Sat, 24 Feb 2024 12:25:48 +0100
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.0.1-13
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-061.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-bigenough - epsilon - N reasoning for Mathematical Components
Changes:
 mathcomp-bigenough (1.0.1-13) unstable; urgency=medium
 .
   * Bump because of binary issue.
Checksums-Sha1:
 c0277c8bea2f5075bf29758d2d4db2cd00ce2537 27140 libcoq-mathcomp-bigenough_1.0.1-13_riscv64.deb
 34f91b0629c1318f3dd5b9baf847be45b859583a 7433 mathcomp-bigenough_1.0.1-13_riscv64.buildinfo
Checksums-Sha256:
 a1609f6dbfa935e7f29d0e596a8322a38bcf7d5dd42b7b80c0bfae3ca5e4ac3d 27140 libcoq-mathcomp-bigenough_1.0.1-13_riscv64.deb
 0efcddb5a127cb0a687fd6a4a63baa08c0b20bfb5a62bf2b935a70794c39cf2e 7433 mathcomp-bigenough_1.0.1-13_riscv64.buildinfo
Files:
 75a066e9ce54e3bcb37a859c06978daa 27140 ocaml optional libcoq-mathcomp-bigenough_1.0.1-13_riscv64.deb
 191a26b11da41954e8578974b199ab62 7433 ocaml optional mathcomp-bigenough_1.0.1-13_riscv64.buildinfo