[ubuntu/plucky-proposed] coq-simple-io 1.10.0-1build3 (Accepted)

[Jeremy Bícha]

coq-simple-io (1.10.0-1build3) plucky; urgency=medium

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:22:49 -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/coq-simple-io/1.10.0-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:22:49 -0500
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-1build3
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:
 coq-simple-io (1.10.0-1build3) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 4583caab3cefc9dd9341f11f10ddadeb5500cd0a 2169 coq-simple-io_1.10.0-1build3.dsc
 ef1cc37fee229b75398358bfe59d6c9010178879 2824 coq-simple-io_1.10.0-1build3.debian.tar.xz
 fb29caeff1745ef90f250afcbb8ecd0059e4f34e 7070 coq-simple-io_1.10.0-1build3_source.buildinfo
Checksums-Sha256:
 82c4e612154aadf7422905afb3e9722a7f45a49892be6f45612d5c5d2f1da8d1 2169 coq-simple-io_1.10.0-1build3.dsc
 76874e3e922c63e0efd1da12c084d44ce06fa84ba5f15cf4ec57ef479ebce338 2824 coq-simple-io_1.10.0-1build3.debian.tar.xz
 777e222875dfb27b466f7976be165c360f263a9f9ca7704f6fccc7d8c94eedd1 7070 coq-simple-io_1.10.0-1build3_source.buildinfo
Files:
 3b8eced71803e360e329b6bccd8bb047 2169 ocaml optional coq-simple-io_1.10.0-1build3.dsc
 03c6b6c8dbb01bd2a2ca71b73f9fef71 2824 ocaml optional coq-simple-io_1.10.0-1build3.debian.tar.xz
 d2d9bf5e9e94e0df966393694a6e7854 7070 ocaml optional coq-simple-io_1.10.0-1build3_source.buildinfo