Format: 1.8
Date: Sun, 24 Mar 2024 23:13:48 +0000
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Built-For-Profiles: noudeb
Architecture: arm64
Version: 2.0.0-2build3
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-028.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
Description:
 libcoq-mathcomp-finmap - finite sets and maps extension for Mathematical Components
Changes:
 mathcomp-finmap (2.0.0-2build3) noble; urgency=medium
 .
   * No-change rebuild for new ssreflect ABI
Checksums-Sha1:
 fa1430ff8872245438c0a3b02acf7def2ce80efb 729650 libcoq-mathcomp-finmap_2.0.0-2build3_arm64.deb
 49929d9c450382c87fdd494047a053350663dd52 7531 mathcomp-finmap_2.0.0-2build3_arm64.buildinfo
Checksums-Sha256:
 9f11aaaa4fc19aa2499ecbedd4e1024b08c4edc2873adde73e2bf48edf8ee4a0 729650 libcoq-mathcomp-finmap_2.0.0-2build3_arm64.deb
 75e36587f6df742aadb683e5bb4e3cf8387bc6127aa5d3ab2b77dba3919b19cd 7531 mathcomp-finmap_2.0.0-2build3_arm64.buildinfo
Files:
 229682ab967bc62bcc1508626f7fc94f 729650 ocaml optional libcoq-mathcomp-finmap_2.0.0-2build3_arm64.deb
 20b25d1350cf2510bc2ded6a21c9cc54 7531 ocaml optional mathcomp-finmap_2.0.0-2build3_arm64.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>