Format: 1.8
Date: Wed, 11 Nov 2026 17:17:35 +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:
 006c2a66fd5f20ba4b5adb7656a1288cd5ad53d3 1414 mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 769827797fe24a7224754177b08345ed8441f221 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 55e7b8d5f2756d8239a0c17f0d81aaa50ba2add8 9244 mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 f3cd28ed1a3e1729de4eefc1fb36edb996106963 2306508 libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 2f97c9d693c7a859c36c1e7a79292e8d86619818 7090 mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo
Checksums-Sha256:
 36a5c133e006fa7ee0991fe6b68be79bbf24e18775c25093cea6c349ec4bb422 1414 mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 b22f08c5d18f77fc4ce27cc1b2604ca3e1189b68b19d73fca81f6e345e410c2f 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 59cc49fc38e648a4ab9ea86f1cc7ddea55599066ec9324a5f9e4aa0be571e92f 9244 mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 f9a457bc79718b5485378ce8fba55dc2017bca83f27c217ae01699ac8b461ae1 2306508 libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 a5ab249489a31cf7e01b97bc1b86a7dd4ece3a3e92845e9bcaed8f9038993684 7090 mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo
Files:
 be2be5c2940bec711502232de9870c36 1414 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1.dsc
 9a37d61a278ae83a2e15c7fce9cbb1a7 84936 ocaml optional mathcomp-multinomials_2.5.0.orig.tar.gz
 1ea1aa20c096ab63dc29363b86aaa100 9244 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1.debian.tar.xz
 8a63ed1774a79c8ed4a72ca9d4435355 2306508 ocaml optional libcoq-mathcomp-multinomials_2.5.0-3+ocaml1_amd64.deb
 f15a17d587b4a0c7c62618f6f0373be2 7090 ocaml optional mathcomp-multinomials_2.5.0-3+ocaml1_amd64.buildinfo