Ubuntu
mathcomp-multinomials package

mathcomp-multinomials 2.2.0-2build4 source package in Ubuntu

Changelog

mathcomp-multinomials (2.2.0-2build4) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 15 Jun 2024 16:39:02 +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
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
mathcomp-multinomials_2.2.0.orig.tar.gz 79.3 KiB d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3
mathcomp-multinomials_2.2.0-2build4.debian.tar.xz 8.8 KiB 7dfa2e764e1b11fc218eff5670c2c1eaa20f395a25534c0afb6bd158f6c5fcb5
mathcomp-multinomials_2.2.0-2build4.dsc 2.2 KiB 6649e9f9ec6830f5b6a772d9585eb82412b5029a2dd9833c5b60a67d3398d673

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.