Ubuntu
mathcomp-finmap package

mathcomp-finmap 2.1.0-1build4 source package in Ubuntu

Changelog

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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 15 Jun 2024 16:36:17 +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-1build4.debian.tar.xz 8.8 KiB 013d4451f689d171bc88c7ca7624cc3ecc13ec0be50a0abeb8f5cd92cc765f6a
mathcomp-finmap_2.1.0-1build4.dsc 2.1 KiB 7c4e48aabc99372724d1cb3244ce18d514dfc6abfe3c33f59c41d71b4ab209e9

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.