Format: 1.8
Date: Fri, 23 Oct 2026 20:09:52 +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.2
Checksums-Sha1:
 b74d323f22bb44ffea318297e66692fe3acfe704 1414 mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 769827797fe24a7224754177b08345ed8441f221 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 ce24dbc1d4c74cd255aeac8c81f373dfc55fd008 9248 mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 a95969275816727e4678162056273bcd6ecaeedf 2305992 libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 3853415a37ed789053fbd56c661d36554dbc0715 7033 mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo
Checksums-Sha256:
 7deddfa346a82fc49efa55beca3246e34bdcde1539b1085bf09eac6bc0347bf7 1414 mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 b22f08c5d18f77fc4ce27cc1b2604ca3e1189b68b19d73fca81f6e345e410c2f 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 745f5e1915e1c747203fae992812eb06a9009f847588161b92bc491ab6311506 9248 mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 d0a82b7ef03c73c71cf46a7c0d3bce06ae98739a4b6795304f8ac94c1aa595a6 2305992 libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 36c1cbae26106eab50913848dc6d7bf926c32165d5e7107f5a6673def494f49d 7033 mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo
Files:
 60b1e8f649badff91455957bc719a57e 1414 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 9a37d61a278ae83a2e15c7fce9cbb1a7 84936 ocaml optional mathcomp-multinomials_2.5.0.orig.tar.gz
 dcd612989cefb3e4325e2ec9c0019bff 9248 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 b3a771ea122405fc93091fc2bb28c1d3 2305992 ocaml optional libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 0bc74858d26ca692f809f9ab4e569dcc 7033 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo