Format: 1.8
Date: Wed, 25 Jan 2023 13:03:05 +0100
Source: coq-gappa
Binary: libcoq-gappa
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.5.2-5
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lgw01-085.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-gappa - Coq tactic to use Gappa for floating-point goals
Changes:
 coq-gappa (1.5.2-5) unstable; urgency=medium
 .
   * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
 6782bd1c8dd63d120687493bd8db845be86c5406 6784 coq-gappa_1.5.2-5_riscv64.buildinfo
 75138eef6132ac56cd1021a6913b6d2cfd840533 6974 libcoq-gappa-dbgsym_1.5.2-5_riscv64.ddeb
 d352da07be11ddf9e9dfa14b30420b0526453078 601156 libcoq-gappa_1.5.2-5_riscv64.deb
Checksums-Sha256:
 44408e349199e298a30c66dcb356a7734a366009a4033af8dbd9bb09837b5652 6784 coq-gappa_1.5.2-5_riscv64.buildinfo
 570fae8a3829e0711a1ed1090704392335134e94c7134f04b534e7d231a5329b 6974 libcoq-gappa-dbgsym_1.5.2-5_riscv64.ddeb
 52c37a24d21aea4f320af625ee880f9500dbd4932817a1fcfa62585a8d7506aa 601156 libcoq-gappa_1.5.2-5_riscv64.deb
Files:
 1497869844d46fe900dda6eebe5d9b0d 6784 math optional coq-gappa_1.5.2-5_riscv64.buildinfo
 08ca764ce0fe73a7a8be0d2e6be81f17 6974 debug optional libcoq-gappa-dbgsym_1.5.2-5_riscv64.ddeb
 d9880a3ed5faa633ed67b870fa9cbe16 601156 math optional libcoq-gappa_1.5.2-5_riscv64.deb