[ubuntu/plucky-proposed] coq-ext-lib 0.13.0-1build1 (Accepted)

[Jeremy Bícha]

coq-ext-lib (0.13.0-1build1) plucky; urgency=medium

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:14:37 -0500
Changed-By: Jeremy Bícha <jbicha 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-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:14:37 -0500
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13.0-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-ext-lib (0.13.0-1build1) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 5b415fa63471c11781208d04c820d423d7d8b679 2088 coq-ext-lib_0.13.0-1build1.dsc
 ef160b39eacf5d1095bfc36127da77410dd703b1 2444 coq-ext-lib_0.13.0-1build1.debian.tar.xz
 c913904ae2cb135b247753e6b0b861d0432c8ea4 7062 coq-ext-lib_0.13.0-1build1_source.buildinfo
Checksums-Sha256:
 5675cbaa06a877bb0208cfee7fcd164ed16582de0456a67e7fb5e05ae26baa46 2088 coq-ext-lib_0.13.0-1build1.dsc
 a5087eda4cc37f8a9583cbe776c42b3cfcedf8bbc389fdbfb203e4676555143d 2444 coq-ext-lib_0.13.0-1build1.debian.tar.xz
 8c978717ab2c7b63c126372ade2d11197c9810eca987b2d4f048236907693963 7062 coq-ext-lib_0.13.0-1build1_source.buildinfo
Files:
 f21dd467b7a52b90016356d2ab235919 2088 ocaml optional coq-ext-lib_0.13.0-1build1.dsc
 a8a060f2326cb57930dec90a2c40eb50 2444 ocaml optional coq-ext-lib_0.13.0-1build1.debian.tar.xz
 b0d5f8be200859067bf431f479425bf2 7062 ocaml optional coq-ext-lib_0.13.0-1build1_source.buildinfo