Format: 1.8
Date: Thu, 05 May 2022 16:24:09 +0200
Source: coq-bignums
Binary: libcoq-bignums libcoq-bignums-ocaml libcoq-bignums-ocaml-dev
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 8.15.0-1
Distribution: kinetic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lcy01-068.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-bignums - Coq library for big numbers (theories)
 libcoq-bignums-ocaml - Coq library for big numbers (runtime)
 libcoq-bignums-ocaml-dev - Coq library for big numbers (devel)
Closes: 1010612
Changes:
 coq-bignums (8.15.0-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1010612)
Checksums-Sha1:
 49cb407800a9ede9b904763d52ca2c4b0bf8270a 7467 coq-bignums_8.15.0-1_riscv64.buildinfo
 dcd7b2d5882bf823ab64b72975f069d8a35e1423 3612 libcoq-bignums-ocaml-dbgsym_8.15.0-1_riscv64.ddeb
 457a90c31027ffa3a543fe29313ad3889545189c 8998 libcoq-bignums-ocaml-dev_8.15.0-1_riscv64.deb
 71d5f87c0c0bc78af71be89716c8f447cb3f263b 16186 libcoq-bignums-ocaml_8.15.0-1_riscv64.deb
 2ee7525b63617cfef3f7d1599e16c16e62ff3def 2108562 libcoq-bignums_8.15.0-1_riscv64.deb
Checksums-Sha256:
 a4fcf83ae2f42c9f3ef37d83e5dfc76b36a65c3af78958baf5e9cfa165e4e0d2 7467 coq-bignums_8.15.0-1_riscv64.buildinfo
 6ffb0a1acc7362dc149b10a1ad9bb85efe01bcc1186f071ea67a00697752b828 3612 libcoq-bignums-ocaml-dbgsym_8.15.0-1_riscv64.ddeb
 b47f9e847f71d9052b299add3150b31204ebcff027b15e1e5cae33346fe4f7ba 8998 libcoq-bignums-ocaml-dev_8.15.0-1_riscv64.deb
 8d8978ae8fd7d72e55558037c2eedadf92256a30161dc115b35d0b8c915dcbc5 16186 libcoq-bignums-ocaml_8.15.0-1_riscv64.deb
 59a048fbacd790c88126109db4ce1e5ece03e42e114e46e88adfbd0315f5c613 2108562 libcoq-bignums_8.15.0-1_riscv64.deb
Files:
 ed3641dd5310db5f53cbbe6f73ab3bb1 7467 ocaml optional coq-bignums_8.15.0-1_riscv64.buildinfo
 0d97d1d391382047ca5ac4bddbf00ffd 3612 debug optional libcoq-bignums-ocaml-dbgsym_8.15.0-1_riscv64.ddeb
 19b0ae23aacd132cd518cb6b25ac2ee0 8998 ocaml optional libcoq-bignums-ocaml-dev_8.15.0-1_riscv64.deb
 e7fc08afaf7a140a2c1fa0e51e0136e2 16186 ocaml optional libcoq-bignums-ocaml_8.15.0-1_riscv64.deb
 240a07067c008ffa500eb79d089c6610 2108562 ocaml optional libcoq-bignums_8.15.0-1_riscv64.deb