[ubuntu/plucky-proposed] coq-reglang 1.2.1-4build8 (Accepted)

[Jeremy Bícha]

coq-reglang (1.2.1-4build8) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 08:42:00 -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-reglang/1.2.1-4build8
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 08:42:00 -0500
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build8
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-reglang (1.2.1-4build8) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 6148b66d5cab6e43b65ca9db9e3cc89d1e2795aa 2116 coq-reglang_1.2.1-4build8.dsc
 25222da6db84a876c779165bc3d2dbbfda2eb9b0 8892 coq-reglang_1.2.1-4build8.debian.tar.xz
 cfda5269d14db5847e3fe5861468a5adaa5f4bca 7092 coq-reglang_1.2.1-4build8_source.buildinfo
Checksums-Sha256:
 4dd350578398ff3237e6ced6f82480d2f09044e27ad27b3fd7b9c8d0b27dc49d 2116 coq-reglang_1.2.1-4build8.dsc
 c4e298e560d59d7cc64dcb464885a8b85e7f0e3494f539e65246524e9f3e723b 8892 coq-reglang_1.2.1-4build8.debian.tar.xz
 f9710a6ec05d97cf15becad3015dfa02fb6171c4acf39cb547333930e7ae87f4 7092 coq-reglang_1.2.1-4build8_source.buildinfo
Files:
 3a09180ad474cf58b5b49244114eb443 2116 ocaml optional coq-reglang_1.2.1-4build8.dsc
 bf34e7a243de84e9c5dc3f2c5e9c809e 8892 ocaml optional coq-reglang_1.2.1-4build8.debian.tar.xz
 7db7f509c7ca814f1ecec7b8fffdd2da 7092 ocaml optional coq-reglang_1.2.1-4build8_source.buildinfo