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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:37:59 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-ext-lib/0.12.1-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:37:59 +0200
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.1-2build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-ext-lib (0.12.1-2build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 041629e6dca976fb4f129ddc0a968b4273a6c804 2088 coq-ext-lib_0.12.1-2build2.dsc
 ed7435b0d4eb90a5e6509d48decf18f6d69dff22 2452 coq-ext-lib_0.12.1-2build2.debian.tar.xz
 b76435cd24136e63c03ca2f803f0f699321cbe30 7860 coq-ext-lib_0.12.1-2build2_source.buildinfo
Checksums-Sha256:
 83f1f8279ca702aaf08d2affe850f6d01eeceb9e9b07833c5a8280437af12a2e 2088 coq-ext-lib_0.12.1-2build2.dsc
 aa3d50ebecf36e5ed97f85443e9c264f5df96827cc064b070f7c5bd69d60b664 2452 coq-ext-lib_0.12.1-2build2.debian.tar.xz
 292bf24e1bfa8c0d3800130fa25c51fdf941e67819898e441723d5aa2b8b57bb 7860 coq-ext-lib_0.12.1-2build2_source.buildinfo
Files:
 27ae8f579f1da146fd78f337107e6c8d 2088 ocaml optional coq-ext-lib_0.12.1-2build2.dsc
 4bb8e9bcf27a39eddff02c4531b52cf1 2452 ocaml optional coq-ext-lib_0.12.1-2build2.debian.tar.xz
 ef1d8d8974ce48171889fed769c419b2 7860 ocaml optional coq-ext-lib_0.12.1-2build2_source.buildinfo