[ubuntu/plucky-proposed] coq-bignums 9.0.0+coq8.20-1build5 (Accepted)
Jeremy Bícha
jbicha at ubuntu.com
Wed Nov 20 22:32:15 UTC 2024
coq-bignums (9.0.0+coq8.20-1build5) plucky; urgency=medium
* Rebuild against latest coq
Date: Wed, 20 Nov 2024 17:30:45 -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-bignums/9.0.0+coq8.20-1build5
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 17:30:45 -0500
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-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-bignums (9.0.0+coq8.20-1build5) plucky; urgency=medium
.
* Rebuild against latest coq
Checksums-Sha1:
f804a80caf37dc400237a8cbbb7e514873aaebb9 2145 coq-bignums_9.0.0+coq8.20-1build5.dsc
2ffa5d6a0d37f7a524d799d12cb39662461d6efd 2296 coq-bignums_9.0.0+coq8.20-1build5.debian.tar.xz
db4dfd7d0bdf7a9f1a6e8051bed7bc4309a17df1 7001 coq-bignums_9.0.0+coq8.20-1build5_source.buildinfo
Checksums-Sha256:
da56f9dc9d2068788f580c5a2fb8605d2dd00dd7d83a1d43505c1bd74f1b811a 2145 coq-bignums_9.0.0+coq8.20-1build5.dsc
dc0394c443efc12c2d794b4ca4c26d3a01bd968852e8330d3da000838b3a3483 2296 coq-bignums_9.0.0+coq8.20-1build5.debian.tar.xz
a0601a30f27ff760eb4362080d74aeda21fad5b57fee9a3b8636f8a1df81d8f9 7001 coq-bignums_9.0.0+coq8.20-1build5_source.buildinfo
Files:
2cec8be038ecd09b728b94a44e982984 2145 ocaml optional coq-bignums_9.0.0+coq8.20-1build5.dsc
f26d929eb3a25842c24a6352383dee23 2296 ocaml optional coq-bignums_9.0.0+coq8.20-1build5.debian.tar.xz
58ea90bfc0e3c718394e02e8b71df1e9 7001 ocaml optional coq-bignums_9.0.0+coq8.20-1build5_source.buildinfo
More information about the plucky-changes
mailing list