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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Tue, 18 Feb 2025 20:55:00 -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-1build5
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 20:55:00 -0500
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-1build5
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-1build5) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 467f85b9bb0a076c905b2634a5d686064b2ac7fc 2169 coq-simple-io_1.10.0-1build5.dsc
 0770ba9ef6ddade73ca399044b4a9c1937bba6c4 2848 coq-simple-io_1.10.0-1build5.debian.tar.xz
 d392b9fc0a6775363d00f9f65ef26c986a8720cc 7046 coq-simple-io_1.10.0-1build5_source.buildinfo
Checksums-Sha256:
 e99a3506c487bae703143dec793e5dfc82e27abbec4f5aaa8e147633d839252f 2169 coq-simple-io_1.10.0-1build5.dsc
 a50477559fb62805e0a70a1ac1d3e119f822aa9622d5f05c14de6268d1f4b061 2848 coq-simple-io_1.10.0-1build5.debian.tar.xz
 cedb4131c1127a38fb0c1c4ba9416c1728d6b73e0e79a531a39f6708318284c8 7046 coq-simple-io_1.10.0-1build5_source.buildinfo
Files:
 07fb4dc0e108b16b0714867b6d73e0ec 2169 ocaml optional coq-simple-io_1.10.0-1build5.dsc
 ef88c7b3bc9850ae5cfdd2b81225bb6d 2848 ocaml optional coq-simple-io_1.10.0-1build5.debian.tar.xz
 dcbad6f9d4fe90e9353046077178a1de 7046 ocaml optional coq-simple-io_1.10.0-1build5_source.buildinfo