Publishing details

• Removal requested on 2023-11-13.
• Published on 2022-08-30
• 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.2-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Tue, 09 Aug 2022 22:04:13 +0200

Builds

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

Package files

• libcoq-mathcomp-finmap_1.5.2-1_amd64.deb (772.8 KiB)
• libcoq-mathcomp-finmap_1.5.2-1_arm64.deb (772.8 KiB)
• libcoq-mathcomp-finmap_1.5.2-1_armhf.deb (772.9 KiB)
• libcoq-mathcomp-finmap_1.5.2-1_ppc64el.deb (772.8 KiB)
• libcoq-mathcomp-finmap_1.5.2-1_riscv64.deb (772.8 KiB)
• libcoq-mathcomp-finmap_1.5.2-1_s390x.deb (772.8 KiB)
• mathcomp-finmap_1.5.2-1.debian.tar.xz (8.5 KiB)
• mathcomp-finmap_1.5.2-1.dsc (2.1 KiB)
• mathcomp-finmap_1.5.2.orig.tar.gz (63.2 KiB)