[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