[ubuntu/noble-proposed] coq-reglang 1.1.3-4build4 (Accepted)

[Jeremy Bícha]

coq-reglang (1.1.3-4build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:22:14 -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.1.3-4build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:22:14 -0500
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3-4build4
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.1.3-4build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 d4b147365a9324fb1ef373d3606a2841b6c3ef3f 2116 coq-reglang_1.1.3-4build4.dsc
 8b0bd1f53a2e87024b6ebd300c81385d7f60e0d0 8596 coq-reglang_1.1.3-4build4.debian.tar.xz
 6bb14bd92956f169d3a7789e10fbb375686e27da 7268 coq-reglang_1.1.3-4build4_source.buildinfo
Checksums-Sha256:
 231bc46b2b3c6a763b1cd6b819fb787e27786fcbc8faeaa8016e6f743596f651 2116 coq-reglang_1.1.3-4build4.dsc
 77ffcd088c4eab9e146f48d8cedb1b96ac52229c5583c3b4e3a62c4c6a769b21 8596 coq-reglang_1.1.3-4build4.debian.tar.xz
 76c465bccb20a308f3abee30d46b371b9e189d33239c67007fec7cefdaa2ea49 7268 coq-reglang_1.1.3-4build4_source.buildinfo
Files:
 39f04851346735bd8c88b84bad0c16d9 2116 ocaml optional coq-reglang_1.1.3-4build4.dsc
 50722d8673fde367410c020e2749972b 8596 ocaml optional coq-reglang_1.1.3-4build4.debian.tar.xz
 a54b27469d89ea6f062c5d595c13fb92 7268 ocaml optional coq-reglang_1.1.3-4build4_source.buildinfo