Ubuntu
mathcomp-analysis package

mathcomp-analysis 0.3.13-1 source package in Ubuntu

Changelog

mathcomp-analysis (0.3.13-1) unstable; urgency=medium

  * Initial release. (Closes: #1005224)

 -- Julien Puydt <email address hidden>  Wed, 09 Feb 2022 14:02:31 +0100

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
Jammy release universe misc

Downloads

File Size SHA-256 Checksum
mathcomp-analysis_0.3.13-1.dsc 2.1 KiB 493b85a637239afcaf6b0bf8c2f7cbc0022e908d7bad6dabb3186d0443e5515f
mathcomp-analysis_0.3.13.orig.tar.gz 501.2 KiB 422572233fcc00a812d853e62e83090718908bb296f44604a5762a6df35931de
mathcomp-analysis_0.3.13-1.debian.tar.xz 8.1 KiB 81efdfd1e282327571bdaa4fd90b327202ece06f6d93d10516500de96fa4a04b

No changes file available.

Binary packages built by this source

libcoq-mathcomp-analysis: analysis extension for Mathematical Components

 This package provides an extension for classical analysis
 for the Mathematical Components library.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.