[ubuntu/oracular-proposed] coq-ext-lib 0.12.1-2build3 (Accepted)

[Matthias Klose]

coq-ext-lib (0.12.1-2build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:54 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-ext-lib/0.12.1-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:54 +0200
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.1-2build3
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-ext-lib (0.12.1-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 72af68fabd4e10576e035fcdbe13d76cfedb48fd 2088 coq-ext-lib_0.12.1-2build3.dsc
 2455e89dbcbbf6896f69ab060bfc2ae9df0c7ca8 2504 coq-ext-lib_0.12.1-2build3.debian.tar.xz
 00674d078d66ef49a87edc36b8371edb7c2e7f5a 5704 coq-ext-lib_0.12.1-2build3_source.buildinfo
Checksums-Sha256:
 0c2e4c63f64382e22038e43df38ce4c8f1183910a749c9173066ffc23cdbc00e 2088 coq-ext-lib_0.12.1-2build3.dsc
 cb303f3084a81c0c4f1e3d9dba7a6e2eaf8bb5c6aebb412e931b81aed61a2a40 2504 coq-ext-lib_0.12.1-2build3.debian.tar.xz
 359c63de4382320a95131c74e9b7cd97b02a51134ba397bbdb74c6f7fa3f49ec 5704 coq-ext-lib_0.12.1-2build3_source.buildinfo
Files:
 a668da6aef4da7bdb0c62d66d74936de 2088 ocaml optional coq-ext-lib_0.12.1-2build3.dsc
 436b9adfc81c21579b6949ad05e87806 2504 ocaml optional coq-ext-lib_0.12.1-2build3.debian.tar.xz
 a988f693477b832ec142b95aeb0b237b 5704 ocaml optional coq-ext-lib_0.12.1-2build3_source.buildinfo