Format: 1.8
Date: Thu, 02 May 2024 22:12:05 +0200
Source: coq-extructures
Binary: libcoq-extructures
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 0.4.0-3build1
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-108.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-extructures - data structures with extensional reasoning for Coq
Changes:
 coq-extructures (0.4.0-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f9c3e420d21283e0965aabb865089a39220b778c 7455 coq-extructures_0.4.0-3build1_riscv64.buildinfo
 0c0c00c92a156b808e86ff4a56a2b65593a0a97a 778724 libcoq-extructures_0.4.0-3build1_riscv64.deb
Checksums-Sha256:
 fa032ff4747d87cf0ba3065f54a8cb7f27ac331995b42ea0e0db9bc1ba72f949 7455 coq-extructures_0.4.0-3build1_riscv64.buildinfo
 5ca0787a1d69048c9f61e150e50480f53880966abc9c806efa130e69c78b1d47 778724 libcoq-extructures_0.4.0-3build1_riscv64.deb
Files:
 ee0b7f083c5c4bfa97ecd920de4ffafe 7455 ocaml optional coq-extructures_0.4.0-3build1_riscv64.buildinfo
 c35e953d6ce6f99c53fc774924329d01 778724 ocaml optional libcoq-extructures_0.4.0-3build1_riscv64.deb