Ubuntu
mathcomp-finmap package

mathcomp-finmap 1.5.1-5 source package in Ubuntu

Changelog

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

  * Re-upload because of ABI breakage.

 -- Julien Puydt <email address hidden>  Mon, 23 May 2022 14:10:19 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
mathcomp-finmap_1.5.1-5.dsc 2.0 KiB f95ec4a020d03e38598a585d32587f3e535b6aa0f7a37d2c4f626a92e3751fc1
mathcomp-finmap_1.5.1.orig.tar.gz 62.3 KiB beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d
mathcomp-finmap_1.5.1-5.debian.tar.xz 8.3 KiB 1e65529152b4eac0d6771a021315bd4d3e05b28495b577f86588432cf07f0640

Available diffs

No changes file available.

Binary packages built by this source

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

 This package provides an extension to manage finite sets,
 finite maps and finitely supported functions extending for the
 Mathematical Components library.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.