[ubuntu/oracular-proposed] coq-reglang 1.2.1-4build1 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-4build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:51:47 +0200
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-4build1
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:51:47 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build1
Distribution: oracular
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-4build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3c348b36d9c42af505afc8aa5c5f27b1fc257f24 2116 coq-reglang_1.2.1-4build1.dsc
 913808b9876b764065274749ea0901f04a8b8237 8696 coq-reglang_1.2.1-4build1.debian.tar.xz
 5e1fafa2285839cab859c3e326a1202c2692d878 7856 coq-reglang_1.2.1-4build1_source.buildinfo
Checksums-Sha256:
 00b38c2adc77893448cf0cb3ec468707c978bc0850b6f3ef01480b38648470a0 2116 coq-reglang_1.2.1-4build1.dsc
 367d0eed3ffb4ccb6a80b3eac843ee594ec052c1fcc51e0358816de96aaa8de3 8696 coq-reglang_1.2.1-4build1.debian.tar.xz
 7446834948e25fc16e3a4edf31c6304e33493dacc8f9e9f2353c745c7a30a64c 7856 coq-reglang_1.2.1-4build1_source.buildinfo
Files:
 908d3666e4a0a749d6399fc5ec6778ae 2116 ocaml optional coq-reglang_1.2.1-4build1.dsc
 fbb6f74dbdcf27b551808b5b8fff9f96 8696 ocaml optional coq-reglang_1.2.1-4build1.debian.tar.xz
 11de856ae631dc3949a5fbe2fea91cc7 7856 ocaml optional coq-reglang_1.2.1-4build1_source.buildinfo