[ubuntu/oracular-proposed] coqprime 8.19-1build3 (Accepted)

[Jeremy Bícha]

coqprime (8.19-1build3) oracular; urgency=medium

  * Rebuild against latest coq-bignums

Date: Sat, 29 Jun 2024 20:11:20 -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/coqprime/8.19-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 29 Jun 2024 20:11:20 -0400
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19-1build3
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:
 coqprime (8.19-1build3) oracular; urgency=medium
 .
   * Rebuild against latest coq-bignums
Checksums-Sha1:
 70c7315683bd9caa228326e194b3d1c5a3e231a7 2148 coqprime_8.19-1build3.dsc
 e15705c98d5aac27b5639c0b0ae119d0fb51d9ce 3448 coqprime_8.19-1build3.debian.tar.xz
 80f07fb937a2e25f9713d6d7c640d13e15aca675 6643 coqprime_8.19-1build3_source.buildinfo
Checksums-Sha256:
 ac82f150a86749a1294074a8288afa223bef97ac1d9aeacbeacc4fd02d96b3db 2148 coqprime_8.19-1build3.dsc
 7fc11d4adba307c6d22ff829c80717bd58217784efb97988ca00e61f614c9e69 3448 coqprime_8.19-1build3.debian.tar.xz
 949407d4ea712b742f1e6d3ccf62d5a948a8c9f14dd4e85155d452daf0b5bb44 6643 coqprime_8.19-1build3_source.buildinfo
Files:
 c18e5b868e383cf8f4b4e07403d0328c 2148 ocaml optional coqprime_8.19-1build3.dsc
 d2c35b2ceb5f535d797fb7404a190622 3448 ocaml optional coqprime_8.19-1build3.debian.tar.xz
 bb20e54deb1741adadb081a22926c6c0 6643 ocaml optional coqprime_8.19-1build3_source.buildinfo