[ubuntu/plucky-proposed] coqprime 8.19-2build4 (Accepted)

[Jeremy Bícha]

coqprime (8.19-2build4) plucky; urgency=medium

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 21:31:56 -0500
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-2build4
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 21:31:56 -0500
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19-2build4
Distribution: plucky
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-2build4) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 4264c02bf3110d908a7d1e5b9b154c3fb34e8e1d 2148 coqprime_8.19-2build4.dsc
 386ade3197ae90e9254f263be4304d1babd0b7b8 3600 coqprime_8.19-2build4.debian.tar.xz
 28f6e812855caad09620dc74d431a540a48016d2 6953 coqprime_8.19-2build4_source.buildinfo
Checksums-Sha256:
 059f399975cd43dc1ab1130b09ad0c03586fe2a0c3e0b23f0251490146d64690 2148 coqprime_8.19-2build4.dsc
 078b441eb71b84781243a04590052ea3d7956562466acdd9decbf2674805f749 3600 coqprime_8.19-2build4.debian.tar.xz
 0d75bc8e0d357280b4bd84ca96d1db300363e24bd64762b54d8f4ace4e05cee3 6953 coqprime_8.19-2build4_source.buildinfo
Files:
 69df206973ff7aa211184cec96b95dcb 2148 ocaml optional coqprime_8.19-2build4.dsc
 ca3a73ca9a7d4968e320928340ae7e84 3600 ocaml optional coqprime_8.19-2build4.debian.tar.xz
 3fc58590a86e7a5ab6684e10c5c67824 6953 ocaml optional coqprime_8.19-2build4_source.buildinfo