Format: 1.8
Date: Thu, 25 Jan 2024 06:36:41 +0100
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 2.1.0-1
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-064.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-finmap - finite sets and maps extension for Mathematical Components
Changes:
 mathcomp-finmap (2.1.0-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 906ee177d5af0b7ad46a5cc5139d9b342e021203 781190 libcoq-mathcomp-finmap_2.1.0-1_riscv64.deb
 57be2ee421f321373fb58d84205a71fd2128294b 7437 mathcomp-finmap_2.1.0-1_riscv64.buildinfo
Checksums-Sha256:
 f69b457642b333f3d06f78dc7442c84427b64251cf145a2b2829f5121b98fc75 781190 libcoq-mathcomp-finmap_2.1.0-1_riscv64.deb
 211fab6148497d660b304dcd08f741dfc0bcc737f40c5605257a16f9a57e0cd9 7437 mathcomp-finmap_2.1.0-1_riscv64.buildinfo
Files:
 cd8b0e83814d66090769b4f48a2be6cc 781190 ocaml optional libcoq-mathcomp-finmap_2.1.0-1_riscv64.deb
 fbbdfbba763cf1c0f81af1d5c557eb18 7437 ocaml optional mathcomp-finmap_2.1.0-1_riscv64.buildinfo