Publishing details

• Published on 2022-03-02
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

mathcomp-finmap (1.5.1-1) unstable; urgency=medium

  * Initial release. (Closes: #1005214)

 -- Julien Puydt <email address hidden>  Wed, 09 Feb 2022 07:49:56 +0100

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• libcoq-mathcomp-finmap finite sets and maps extension for Mathematical Components

Package files

• libcoq-mathcomp-finmap_1.5.1-1_amd64.deb (782.9 KiB)
• mathcomp-finmap_1.5.1-1.debian.tar.xz (8.1 KiB)
• mathcomp-finmap_1.5.1-1.dsc (2.0 KiB)
• mathcomp-finmap_1.5.1.orig.tar.gz (62.3 KiB)