[ubuntu/oracular-proposed] coq-equations 1.3-8.19-1build1 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.19-1build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:11:55 +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-equations/1.3-8.19-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:11:55 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.19-1build1
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-equations (1.3-8.19-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 927e1e3da8c0f62170a4e802842fbd3199b8af3b 2165 coq-equations_1.3-8.19-1build1.dsc
 86e580d6a7cbdb8ddd1a4d46f5d1ad972ac9cfa3 2740 coq-equations_1.3-8.19-1build1.debian.tar.xz
 c81a07b1f24e34932c08f9dbc99b94a82c3c40d1 7852 coq-equations_1.3-8.19-1build1_source.buildinfo
Checksums-Sha256:
 613b9446a3f103d6043b607607253cc1902c70bfc59fd6bf2a55884c18d97bc3 2165 coq-equations_1.3-8.19-1build1.dsc
 5cd096d9168bbdd7203e1bf8dc454d52ce1edb92a127e2141b6539396452c77c 2740 coq-equations_1.3-8.19-1build1.debian.tar.xz
 40de027dcf9a5d0b948ac902c8b3ec88e8e2f19ce6422735e0df5b0423f432a0 7852 coq-equations_1.3-8.19-1build1_source.buildinfo
Files:
 77fe047950501b073012563cb4e25744 2165 ocaml optional coq-equations_1.3-8.19-1build1.dsc
 3b88a87e9d4fe84f902f2a7ca68e25e7 2740 ocaml optional coq-equations_1.3-8.19-1build1.debian.tar.xz
 ed78c4fdaa074e85002ea06e2d613d1f 7852 ocaml optional coq-equations_1.3-8.19-1build1_source.buildinfo