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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:24:30 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-reglang/1.2.1-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:24:30 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-1build2
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-reglang (1.2.1-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3ab3ee42767abf592b4428333ad30d06c0da29bd 2116 coq-reglang_1.2.1-1build2.dsc
 626839eea29b65a4be43d05e16384e4111b2c77b 8632 coq-reglang_1.2.1-1build2.debian.tar.xz
 5b14464e0b69abccaf6100b09c55a4441bfa7219 7815 coq-reglang_1.2.1-1build2_source.buildinfo
Checksums-Sha256:
 115dae05e42dcd344ffdba608d6172433e4e5f4617fda04e1eb83f3b3ec42366 2116 coq-reglang_1.2.1-1build2.dsc
 5cc03e95c824d5e3bb95bc4af8c1874861538921b106db6b351ef3cabc9c9cf5 8632 coq-reglang_1.2.1-1build2.debian.tar.xz
 5ce7ac366b662a5ce80df0b0b0c6d295ee07d8d3143d34ac776ea9c96078984a 7815 coq-reglang_1.2.1-1build2_source.buildinfo
Files:
 fb66f5c3ee1d322528fa483b733dd68c 2116 ocaml optional coq-reglang_1.2.1-1build2.dsc
 7789ddcca6d04a1965ac9cf33c73f1c8 8632 ocaml optional coq-reglang_1.2.1-1build2.debian.tar.xz
 67a1156583d2b43ba34041a748fdc332 7815 ocaml optional coq-reglang_1.2.1-1build2_source.buildinfo