[ubuntu/noble-proposed] mathcomp-multinomials 2.2.0-1build1 (Accepted)

[Jeremy Bícha]

mathcomp-multinomials (2.2.0-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sun, 28 Jan 2024 08:31:24 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-multinomials/2.2.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 28 Jan 2024 08:31:24 -0500
Source: mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: source
Version: 2.2.0-1build1
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 mathcomp-multinomials (2.2.0-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 87759c148c8b19c1467b8aa0d7dfcb3b6bb0449b 2273 mathcomp-multinomials_2.2.0-1build1.dsc
 41e11e609181fc44ef1ed28f1093725d8433322f 8940 mathcomp-multinomials_2.2.0-1build1.debian.tar.xz
 f8356d6fc656cacc76e46561759945619735cb72 7675 mathcomp-multinomials_2.2.0-1build1_source.buildinfo
Checksums-Sha256:
 47ff9330a0070e1d50fad030176afab2bb2e716aa399a8fe8577144faededf2f 2273 mathcomp-multinomials_2.2.0-1build1.dsc
 bcd41e0dfb4b23902636d1693fe308601e8abb87acdb6c603c0a8d3a676d2715 8940 mathcomp-multinomials_2.2.0-1build1.debian.tar.xz
 0ff451ffdf6b3c24a1337d2a3632b5ef103398719c166d77e1e060389d0ca5b9 7675 mathcomp-multinomials_2.2.0-1build1_source.buildinfo
Files:
 2728522da21519a38f77daa8b7846fff 2273 ocaml optional mathcomp-multinomials_2.2.0-1build1.dsc
 1f7b1e62cef95726dac483c9a50cbbe2 8940 ocaml optional mathcomp-multinomials_2.2.0-1build1.debian.tar.xz
 ed18780784c0ed16d1ba448ff7bb1437 7675 ocaml optional mathcomp-multinomials_2.2.0-1build1_source.buildinfo