Ubuntu
mathcomp-multinomials package

mathcomp-multinomials 1.6.0-3build2 source package in Ubuntu

Changelog

mathcomp-multinomials (1.6.0-3build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 04 Nov 2023 20:14:58 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Noble
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Noble proposed universe misc

Downloads

File Size SHA-256 Checksum
mathcomp-multinomials_1.6.0.orig.tar.gz 83.8 KiB bfec44f8a5e4cfcf793d4c616674ed0f52fee6f4bc4ae0f0f1f45f2418b0fa29
mathcomp-multinomials_1.6.0-3build2.debian.tar.xz 8.7 KiB 6e95276d08b76e5e2ceb9e00e288af1f4da3f59c2c835e062fe1baa01e03afb8
mathcomp-multinomials_1.6.0-3build2.dsc 2.2 KiB a38ade7ac95e5fe7ac797ab99bbc321b77bdb5f6c6d5718f5257c9b7844d5693

Available diffs

View changes file

Binary packages built by this source

libcoq-mathcomp-multinomials: Multivariate polynomials for Mathematical Components

 This package provides an extension to Mathematical Components
 for monomial algebra, multivariate polynomials over ring
 structures and an extended theory for polynomials whose
 coefficients live in abelian rings and integral domains.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.