[ubuntu/noble-proposed] coq-unimath 20231010-1build1 (Accepted)

[Steve Langasek]

coq-unimath (20231010-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:15:42 +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/coq-unimath/20231010-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:15:42 +0000
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20231010-1build1
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-unimath (20231010-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 7867889b862db4e3a19579bf5a267f532c285d89 2224 coq-unimath_20231010-1build1.dsc
 0d1d01bf48c78c230a251ee65cc0769bb3d4790e 2212 coq-unimath_20231010-1build1.debian.tar.xz
 acbee9ddd00f1bd9112b16a8c1a1c83638796323 6730 coq-unimath_20231010-1build1_source.buildinfo
Checksums-Sha256:
 30d7e81c164410a58692a898e6f0d1111d4342ff26f03853e42f0241b8069837 2224 coq-unimath_20231010-1build1.dsc
 cc2027e752ad509d92387fc782028193f1d1f43cf2590701c6d29ae7b6f91a68 2212 coq-unimath_20231010-1build1.debian.tar.xz
 3937d877ff81346508605512ff0de35bdc3e2a07629252e1c85beece26cfea05 6730 coq-unimath_20231010-1build1_source.buildinfo
Files:
 04efb6c7adaee614cfdb2a37f7424d49 2224 ocaml optional coq-unimath_20231010-1build1.dsc
 732b3ab8cf71aaf495838888ee51d61f 2212 ocaml optional coq-unimath_20231010-1build1.debian.tar.xz
 bd1d6332cc166ce9ca617c48638f2291 6730 ocaml optional coq-unimath_20231010-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>