[ubuntu/questing-proposed] coq-reglang 1.2.1-4build13 (Accepted)

[Jeremy Bícha]

coq-reglang (1.2.1-4build13) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Thu, 08 May 2025 07:25:08 -0400
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-4build13
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 07:25:08 -0400
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build13
Distribution: questing
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-4build13) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 215779a22dd055002940e450c888a0253597f2eb 2120 coq-reglang_1.2.1-4build13.dsc
 e29d00e048eb555f8a970984fea658b9d0e4b13c 8968 coq-reglang_1.2.1-4build13.debian.tar.xz
 030ed0e84637a2206da7a82d33f4331d1c64ee51 6905 coq-reglang_1.2.1-4build13_source.buildinfo
Checksums-Sha256:
 034392eca083c40856a17d4439e1799216edd19b18f2723581739bcade2cb454 2120 coq-reglang_1.2.1-4build13.dsc
 915f5c50dcbea10b645b6189dbdbb783aaf0503b98a0a42a33c8b937d1b7864e 8968 coq-reglang_1.2.1-4build13.debian.tar.xz
 68fd70ee3273fca3d045f92c9d41b8e1d46c25841a0d9ca3c980a501146042e1 6905 coq-reglang_1.2.1-4build13_source.buildinfo
Files:
 ae3e892dbf29b2607b5622b79045fa92 2120 ocaml optional coq-reglang_1.2.1-4build13.dsc
 d3c0963b092608d66f67a2c33b53250e 8968 ocaml optional coq-reglang_1.2.1-4build13.debian.tar.xz
 14bb97daa46cdaef7917d991d1358a21 6905 ocaml optional coq-reglang_1.2.1-4build13_source.buildinfo