Ubuntu
mathcomp-finmap package

mathcomp-finmap 2.1.0-1build3 source package in Ubuntu

Changelog

mathcomp-finmap (2.1.0-1build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 03 Jun 2024 23:41:44 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Oracular
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_2.1.0.orig.tar.gz 58.1 KiB ee104afabb668cd585219109731ffaeb9c51a218c320b2638c86463cb8bd1b05
mathcomp-finmap_2.1.0-1build3.debian.tar.xz 8.8 KiB 6d30237c0b99f0c1068697aa2f019008735563132ebfa943d6a1a35c912296a7
mathcomp-finmap_2.1.0-1build3.dsc 2.1 KiB cd5ec4af2db893862057ced7b5e10511647f110c0c33b3cc60f69d0c6b97915c

Available diffs

View changes file

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.