[ubuntu/resolute-proposed] coq-ext-lib 0.13.0-1build7 (Accepted)

[Sebastien Bacher]

coq-ext-lib (0.13.0-1build7) resolute; urgency=medium

  * No change rebuild for the ocaml transition

Date: Tue, 03 Mar 2026 12:02:38 +0100
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-ext-lib/0.13.0-1build7
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 12:02:38 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13.0-1build7
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 coq-ext-lib (0.13.0-1build7) resolute; urgency=medium
 .
   * No change rebuild for the ocaml transition
Checksums-Sha1:
 572ffd3186c264f07a33e198bdce69ae4303309c 2088 coq-ext-lib_0.13.0-1build7.dsc
 75d0036711c3f664d77a8e1706f8a3b5bc8a7af1 2644 coq-ext-lib_0.13.0-1build7.debian.tar.xz
 39125f3c5251deb4ebc1f1911424615bb8fa20f6 8246 coq-ext-lib_0.13.0-1build7_source.buildinfo
Checksums-Sha256:
 ce68bf92b16af85f73787761ceb3d9a051bd6a98e7695c138bbe9e84cdca6c18 2088 coq-ext-lib_0.13.0-1build7.dsc
 51943c5e61523f4d06fe48d4763d5b153968930354de74d59965685ce57c83fa 2644 coq-ext-lib_0.13.0-1build7.debian.tar.xz
 1e254ce0133fd02f4b327ab37b1e552ca60010431e65e9f9e32e79b37777de59 8246 coq-ext-lib_0.13.0-1build7_source.buildinfo
Files:
 a6c4fe7f67ddea165a63bb3289fa04c5 2088 ocaml optional coq-ext-lib_0.13.0-1build7.dsc
 100ceb82b6671b7f05a6e211602b99b5 2644 ocaml optional coq-ext-lib_0.13.0-1build7.debian.tar.xz
 896c3ec13164736e970ef02402c9e98a 8246 ocaml optional coq-ext-lib_0.13.0-1build7_source.buildinfo