Format: 1.8
Date: Sat, 07 Nov 2026 00:17:44 +0100
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:
 ee6e9b33119352486aa1bce60d6f618869cf69ee 1414 mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 769827797fe24a7224754177b08345ed8441f221 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 b1729cc01e1cc465bca71b86642be790f7b0e921 9252 mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 a9f6660916cc5304c1e058adeadee64c359dd8fd 2300576 libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 1b4b5201656a2a5d13edb1c493d355f881849395 7087 mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo
Checksums-Sha256:
 19967cd5f6a94da579e0bce1f622d4defde17d74909e50a2b478d078e59f903a 1414 mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 b22f08c5d18f77fc4ce27cc1b2604ca3e1189b68b19d73fca81f6e345e410c2f 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 038caeefef7be2b48e006dc7c5929a9a06806b45674c58e907808a32d69bad47 9252 mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 3641e9ade4ce59d08b3ff17c34c5b56b7ff791983ff02c62d3d01cd69a3aad7d 2300576 libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 312a4dfdc86dbb91c24e3680b993352aa2e138f8532ea1dd45452860ccf3d94c 7087 mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo
Files:
 e28155eb8b3b4a5fd2e87f05847f7ba1 1414 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 9a37d61a278ae83a2e15c7fce9cbb1a7 84936 ocaml optional mathcomp-multinomials_2.5.0.orig.tar.gz
 4284a7249d32050e9615ccd53b3d4ed1 9252 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 4eec5033dcf7d6e8c0fa55e26e1e7cb8 2300576 ocaml optional libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 ddbc02787f059e9d337dfb8356609865 7087 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo