Format: 1.8
Date: Tue, 08 Sep 2026 02:23:55 +0200
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: source amd64
Version: 2.5.0-3+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-mathcomp-multinomials - Multivariate polynomials for Mathematical Components
Changes:
 mathcomp-multinomials (2.5.0-3+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.1
Checksums-Sha1:
 8a5463ab8df20bf4e270c16aef88cb67ff193b7f 1414 mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 769827797fe24a7224754177b08345ed8441f221 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 0cdd9354ac3ba68ad04406ed775201c33e711606 9244 mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 fcb049a350a585135b1f54f0c946d77000dcaabc 2300280 libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 d3827cc4081d5260e8fcd548cb5a011862ae6f39 6939 mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo
Checksums-Sha256:
 44d0122cc0dcfed5f4a1bdc753842e5e8b0b3835e21eb5143dd596d57d62bd16 1414 mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 b22f08c5d18f77fc4ce27cc1b2604ca3e1189b68b19d73fca81f6e345e410c2f 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 d2e47c7aa0aa6786c3912191ae5552b49d30529ddf1ebef964afcba059f401b0 9244 mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 782a2dc164283bd712a11e6071941f82789446088fb0c1e5d5dba7aad805212e 2300280 libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 549ffc3641be36d1266ec0f4635c58a3abea0735fa01f59ba9ab4dc372ff48ec 6939 mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo
Files:
 88a06556e3042ff5405e941921fb1b4d 1414 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 9a37d61a278ae83a2e15c7fce9cbb1a7 84936 ocaml optional mathcomp-multinomials_2.5.0.orig.tar.gz
 7fc154c358c9be49cc54c3218c829852 9244 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 51f88c4236ad70ce8665f0d0008755cc 2300280 ocaml optional libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 a0920cb582dbc2026dfaeafa25e7a776 6939 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo