[ubuntu/noble-proposed] mathcomp-multinomials 1.6.0-3build4 (Accepted)

[Jeremy Bícha]

mathcomp-multinomials (1.6.0-3build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 11:19:03 -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/1.6.0-3build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 11:19:03 -0500
Source: mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-3build4
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 (1.6.0-3build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 bee597627429a200f17246638d594fa9defd4ca4 2273 mathcomp-multinomials_1.6.0-3build4.dsc
 9a00ab06b78a195c4126e1bb7d861fcd76aa3ad1 8960 mathcomp-multinomials_1.6.0-3build4.debian.tar.xz
 bad4b20337774a037fce5760edaf261f88f9548e 7308 mathcomp-multinomials_1.6.0-3build4_source.buildinfo
Checksums-Sha256:
 575be96feac8dfa10c711d4a1cdae11c6551d9daf60b14c33cf12130ab027704 2273 mathcomp-multinomials_1.6.0-3build4.dsc
 22ba4047198ec6e1fdd625f9a90f66bb78e2dd7ceb78c5053ac082b14f573663 8960 mathcomp-multinomials_1.6.0-3build4.debian.tar.xz
 8b2913ae394ebced2afa06016c359c9e20f3438c08730bdb5822bc97a33af4b2 7308 mathcomp-multinomials_1.6.0-3build4_source.buildinfo
Files:
 7e0721471b80af19c93df6f4e5a03b76 2273 ocaml optional mathcomp-multinomials_1.6.0-3build4.dsc
 eb5bab30bb6f78f55d12160d653044aa 8960 ocaml optional mathcomp-multinomials_1.6.0-3build4.debian.tar.xz
 6ac7a4d9509146500d2c4a0e6bdbac05 7308 ocaml optional mathcomp-multinomials_1.6.0-3build4_source.buildinfo