[ubuntu/oracular-proposed] coq-reglang 1.2.1-3build3 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-3build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 21 May 2024 12:33:16 +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-3build3
-------------- next part --------------
Format: 1.8
Date: Tue, 21 May 2024 12:33:16 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-3build3
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-3build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ab382ad161a2c34e1837edb8d4646b7efac4355d 2116 coq-reglang_1.2.1-3build3.dsc
 d981d810498df913acbaa102b7ba967f95f3dff1 8660 coq-reglang_1.2.1-3build3.debian.tar.xz
 4b6b8c39bdc052d3840ede12949e3b413f15b634 7832 coq-reglang_1.2.1-3build3_source.buildinfo
Checksums-Sha256:
 f48d713a3f145ec79a73f012b9649a580142125c90684577802ae82c0ae9418e 2116 coq-reglang_1.2.1-3build3.dsc
 76f8174dee3e8e793cd622a08b17bb94a883abad10ae3e731d462b9ee3803c84 8660 coq-reglang_1.2.1-3build3.debian.tar.xz
 57ed0daefac4062a0d40aac4d8ea2a8907ea60a1f60ea43f23c6e9b62acc5c0e 7832 coq-reglang_1.2.1-3build3_source.buildinfo
Files:
 a619b99d21b1473c88b1741bdbaf8719 2116 ocaml optional coq-reglang_1.2.1-3build3.dsc
 626b479d3cb418f4951c1cf483b0333a 8660 ocaml optional coq-reglang_1.2.1-3build3.debian.tar.xz
 7ec4570a469171e3fb40b70835cb387f 7832 ocaml optional coq-reglang_1.2.1-3build3_source.buildinfo