[ubuntu/questing-proposed] mathcomp-multinomials 2.3.0-1build7 (Accepted)

[Jeremy Bícha]

mathcomp-multinomials (2.3.0-1build7) questing; urgency=medium

  * Rebuild against coq libraries

Date: Thu, 08 May 2025 13:23:41 -0400
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.3.0-1build7
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 13:23:41 -0400
Source: mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build7
Distribution: questing
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.3.0-1build7) questing; urgency=medium
 .
   * Rebuild against coq libraries
Checksums-Sha1:
 48764ddfef8dbadf389971531fceef15949316b3 2296 mathcomp-multinomials_2.3.0-1build7.dsc
 69d451c8b867b5a1284ba71f2611cd6dd01a74da 9180 mathcomp-multinomials_2.3.0-1build7.debian.tar.xz
 fc2954b18638550b7a018bc2db30a90feab3b6de 6941 mathcomp-multinomials_2.3.0-1build7_source.buildinfo
Checksums-Sha256:
 db519b7c2f5b55073ab3f36bd721b82886e1238d664656ed777cfb9aec41358f 2296 mathcomp-multinomials_2.3.0-1build7.dsc
 7bc84f7502f0cccdc39c844cc320ab87245392f98ae1329035e59df6efdb7dde 9180 mathcomp-multinomials_2.3.0-1build7.debian.tar.xz
 cd710baf2dfc83243f642127fafdfe98f5457e059f4957cb996c61377c564072 6941 mathcomp-multinomials_2.3.0-1build7_source.buildinfo
Files:
 4183fde28ce71ca36829a6b5d591a5a4 2296 ocaml optional mathcomp-multinomials_2.3.0-1build7.dsc
 3ae1847309eb1e00bcdde194d391d876 9180 ocaml optional mathcomp-multinomials_2.3.0-1build7.debian.tar.xz
 e4df27abe759fb147dabbfd4fb9a57ef 6941 ocaml optional mathcomp-multinomials_2.3.0-1build7_source.buildinfo