[ubuntu/noble-proposed] mathcomp-analysis 1.0.0-1build2 (Accepted)

[Steve Langasek]

mathcomp-analysis (1.0.0-1build2) noble; urgency=medium

  * No-change rebuild for new libcoq-elqi ABI

Date: Sun, 24 Mar 2024 15:59:31 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/mathcomp-analysis/1.0.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 15:59:31 +0000
Source: mathcomp-analysis
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.0-1build2
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 mathcomp-analysis (1.0.0-1build2) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-elqi ABI
Checksums-Sha1:
 f7ffc48ccc0e897608ce8b973f0858d761d343fe 2543 mathcomp-analysis_1.0.0-1build2.dsc
 d8e0bfc208993bc50b1a3fb3c5decbfcfdf3bb17 9368 mathcomp-analysis_1.0.0-1build2.debian.tar.xz
 0b18a17635cfb65d04244b4717b9b9781daa5b96 6857 mathcomp-analysis_1.0.0-1build2_source.buildinfo
Checksums-Sha256:
 5016c5af95c7e5ad943c41ccc3e119085b32bea9ccb3862d798b770544a34df7 2543 mathcomp-analysis_1.0.0-1build2.dsc
 04dbac4ca83688c4e03d8a5a1283b34d1eca27f1ec88e85b90916535985596eb 9368 mathcomp-analysis_1.0.0-1build2.debian.tar.xz
 46328e5ae0ce56fe1eea7b847dc8defb68e1fa8deb33018e22751cdd75e32124 6857 mathcomp-analysis_1.0.0-1build2_source.buildinfo
Files:
 cdacab96717c74abf4885b829656963d 2543 ocaml optional mathcomp-analysis_1.0.0-1build2.dsc
 b5dff6e1e0e69555f2d9b47e1e15552e 9368 ocaml optional mathcomp-analysis_1.0.0-1build2.debian.tar.xz
 9d2ba147d7e2a5397260c3d19eb6cc33 6857 ocaml optional mathcomp-analysis_1.0.0-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>