[ubuntu/oracular-proposed] coq-quickchick 2.0.3-3build1 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0.3-3build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:55:10 +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-quickchick/2.0.3-3build1
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:55:10 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-3build1
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-quickchick (2.0.3-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 eb1f8818d56b17649ef02800c9c8a92b20acece7 2274 coq-quickchick_2.0.3-3build1.dsc
 1250a9deadc2d11578589d75c1462d70449f13f1 2912 coq-quickchick_2.0.3-3build1.debian.tar.xz
 77eaaf0f16ac67d8892890f2dbdc501ab6ba77ad 7932 coq-quickchick_2.0.3-3build1_source.buildinfo
Checksums-Sha256:
 c1da4e7e1999d55269d0974f7e8d6bb925420b67ed306cd890aff2f6312bab9a 2274 coq-quickchick_2.0.3-3build1.dsc
 4c73fa681afdba076b2079566db0a3caedfa6ebf275f126da1b849ed010f1954 2912 coq-quickchick_2.0.3-3build1.debian.tar.xz
 abeaee8046896aad54026168d26752649addf321eeba8f2b6c968cce1a46a5d1 7932 coq-quickchick_2.0.3-3build1_source.buildinfo
Files:
 74155274cabc4326b1aed2e3f9e1ef77 2274 ocaml optional coq-quickchick_2.0.3-3build1.dsc
 04907b5c3263276e8ece3fd4b2dd3325 2912 ocaml optional coq-quickchick_2.0.3-3build1.debian.tar.xz
 4db04b99738f6c84416463ac44368569 7932 ocaml optional coq-quickchick_2.0.3-3build1_source.buildinfo