[ubuntu/noble-proposed] coq-simple-io 1.8.0-3ubuntu6 (Accepted)
Jeremy Bícha
jbicha at ubuntu.com
Sat Dec 23 12:26:14 UTC 2023
coq-simple-io (1.8.0-3ubuntu6) noble; urgency=medium
* Rebuild against latest coq
Date: Sat, 23 Dec 2023 07:22:51 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-simple-io/1.8.0-3ubuntu6
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:22:51 -0500
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-3ubuntu6
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
coq-simple-io (1.8.0-3ubuntu6) noble; urgency=medium
.
* Rebuild against latest coq
Checksums-Sha1:
b9e0da88ec9b1697aea72d8a0a6af233ba1b14b0 2233 coq-simple-io_1.8.0-3ubuntu6.dsc
68a605451af5b40c62fd08785c8d8d2b1a772ac8 2996 coq-simple-io_1.8.0-3ubuntu6.debian.tar.xz
232fb74f2572e9f7c532af25b207f0b6d855ee85 7280 coq-simple-io_1.8.0-3ubuntu6_source.buildinfo
Checksums-Sha256:
5beda6f95c9bd6d0e149ce2abda9840c25d28b1499d01c93200c4967e8b738c5 2233 coq-simple-io_1.8.0-3ubuntu6.dsc
d83ccd5532504234f916a21ea687d321b18264a53b2179ed7a0371f628220a10 2996 coq-simple-io_1.8.0-3ubuntu6.debian.tar.xz
918304dc9bbfd5bd522952db998a61b9d0fa5eb20257a97559093b5faf3f19a8 7280 coq-simple-io_1.8.0-3ubuntu6_source.buildinfo
Files:
31aced88e2d1da5dadecfc60aef3c74f 2233 ocaml optional coq-simple-io_1.8.0-3ubuntu6.dsc
73edca9bea6efaad590e89a228f4e670 2996 ocaml optional coq-simple-io_1.8.0-3ubuntu6.debian.tar.xz
e9330d8a9f228b419463ca13516ee64a 7280 ocaml optional coq-simple-io_1.8.0-3ubuntu6_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
More information about the noble-changes
mailing list