[ubuntu/noble-proposed] coq-reglang 1.2.1-1build1 (Accepted)

[Jeremy Bícha]

coq-reglang (1.2.1-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sat, 27 Jan 2024 19:48:34 -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-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 27 Jan 2024 19:48:34 -0500
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-1build1
Distribution: noble
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-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 dfd4f18c079b416f73e803a13f0a9cce54ca2fdd 2116 coq-reglang_1.2.1-1build1.dsc
 b78d662185356227503ffda11885f2e3d7e15121 8580 coq-reglang_1.2.1-1build1.debian.tar.xz
 2429bfeab2ffd142fda81c05744b295e6747cdcb 7635 coq-reglang_1.2.1-1build1_source.buildinfo
Checksums-Sha256:
 40bea63902b72d8dec2c18da6a92adea4b1c2228d25926e0f828ba3cdaf19594 2116 coq-reglang_1.2.1-1build1.dsc
 cfa8a580d3241ea03a6355f0a5bf34ff4c2dd09296001812e7cc113eeade22a7 8580 coq-reglang_1.2.1-1build1.debian.tar.xz
 3c0cb89399da0d3beac6f85b41527d03c75f5baf584586b8efcba3444c7b4561 7635 coq-reglang_1.2.1-1build1_source.buildinfo
Files:
 5bd1655934726c3c0ef8dff74b79c2f3 2116 ocaml optional coq-reglang_1.2.1-1build1.dsc
 457a0f5f29267772cfc05d432c4a7a78 8580 ocaml optional coq-reglang_1.2.1-1build1.debian.tar.xz
 44a8a909d912a1a39e154d54d4140bc2 7635 ocaml optional coq-reglang_1.2.1-1build1_source.buildinfo