[ubuntu/oracular-proposed] mathcomp-multinomials 2.2.0-3build1 (Accepted)

[Jeremy Bícha]

mathcomp-multinomials (2.2.0-3build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Mon, 05 Aug 2024 09:43:15 -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.2.0-3build1
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Aug 2024 09:43:15 -0400
Source: mathcomp-multinomials
Built-For-Profiles: noudeb
Architecture: source
Version: 2.2.0-3build1
Distribution: oracular
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-3build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 b282e01e2872407d0862a9abe3cfb42dc35ff6d2 2273 mathcomp-multinomials_2.2.0-3build1.dsc
 4c8d3a5d4d5e32bb42730a716c506ce264c2344f 9028 mathcomp-multinomials_2.2.0-3build1.debian.tar.xz
 181b67fe30c7e10ade803c955ecc48ac9106e879 6825 mathcomp-multinomials_2.2.0-3build1_source.buildinfo
Checksums-Sha256:
 5dfec60fb4ee17e1a6369340db2a92b10513112d8b1031ece8a2ba5ecef94c9e 2273 mathcomp-multinomials_2.2.0-3build1.dsc
 e7cc3ea574aee1915e42b84ea700344788d22b7ba031d4ae209993a7fcfde739 9028 mathcomp-multinomials_2.2.0-3build1.debian.tar.xz
 581d35c4451ea13e623730a4898d8e0328decc08cd5e9b8d4035299115a7ca5b 6825 mathcomp-multinomials_2.2.0-3build1_source.buildinfo
Files:
 e4e9dfcddf3628ea6a093d67580ac196 2273 ocaml optional mathcomp-multinomials_2.2.0-3build1.dsc
 50a4fb3b4c14b0258f6eb557af1c1367 9028 ocaml optional mathcomp-multinomials_2.2.0-3build1.debian.tar.xz
 683549b9409f89291e576bf50a7c7097 6825 ocaml optional mathcomp-multinomials_2.2.0-3build1_source.buildinfo