[ubuntu/oracular-proposed] coqeal 2.0.2-1build5 (Accepted)

[Jeremy Bícha]

coqeal (2.0.2-1build5) oracular; urgency=medium

  * Rebuild against latest coq-bignums

Date: Sun, 30 Jun 2024 07:14:25 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coqeal/2.0.2-1build5
-------------- next part --------------
Format: 1.8
Date: Sun, 30 Jun 2024 07:14:25 -0400
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-1build5
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coqeal (2.0.2-1build5) oracular; urgency=medium
 .
   * Rebuild against latest coq-bignums
Checksums-Sha1:
 78f7c010e4df01d2e2dab1121b645149c35f00df 2170 coqeal_2.0.2-1build5.dsc
 d605455a3a5a80b99c420641d2646ff2f6093c04 2484 coqeal_2.0.2-1build5.debian.tar.xz
 f3a4cc4f8bcd57808efa79664488e15af14cb9f5 6639 coqeal_2.0.2-1build5_source.buildinfo
Checksums-Sha256:
 2ccf64d3ac21ef214d3ea0f6841ecd10053c7cc124deee0cbdeb7b9008fb787d 2170 coqeal_2.0.2-1build5.dsc
 fd9d98722c61727d67a8f4d7548af1901bfdcf6cdfb718073395a1bcb2817ba3 2484 coqeal_2.0.2-1build5.debian.tar.xz
 b3f945a8e7310fd55c7c73e26435ce0d7f714c9cff72a49e0c7a324eef1e37a9 6639 coqeal_2.0.2-1build5_source.buildinfo
Files:
 68b8e890c2a6f888237e65553a641393 2170 ocaml optional coqeal_2.0.2-1build5.dsc
 7ca45a19d11aa798d454d70ea8031e49 2484 ocaml optional coqeal_2.0.2-1build5.debian.tar.xz
 58dafd52852f33aaa958f946adde20dc 6639 ocaml optional coqeal_2.0.2-1build5_source.buildinfo