Format: 1.8
Date: Sat, 24 Feb 2024 12:22:54 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 3.4.1-2
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-024.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-coquelicot - Coq library for real analysis
Changes:
 coquelicot (3.4.1-2) unstable; urgency=medium
 .
   * Bump version because of binary issue.
Checksums-Sha1:
 67561c1249d908fb7c7bf3fd6facb4e950cadebf 7379 coquelicot_3.4.1-2_riscv64.buildinfo
 8914b6cf209fcb464dda1d8f58e432b3545d01a3 3876480 libcoq-coquelicot_3.4.1-2_riscv64.deb
Checksums-Sha256:
 01ac92a317061f75302fd178de0f49da34e27993423dd0b542ea987fdeb87a59 7379 coquelicot_3.4.1-2_riscv64.buildinfo
 23c7a175db1783d1f5a5fc4fc81a2aba93af375f0006f41ea1d31ebe1af97684 3876480 libcoq-coquelicot_3.4.1-2_riscv64.deb
Files:
 589c94b78e8e62ab0de09aee8118e45b 7379 ocaml optional coquelicot_3.4.1-2_riscv64.buildinfo
 13cbd6e793412076296dacb4140771e8 3876480 ocaml optional libcoq-coquelicot_3.4.1-2_riscv64.deb