Format: 1.8
Date: Sat, 17 Feb 2024 01:25:58 +0100
Source: coq-extructures
Binary: libcoq-extructures
Built-For-Profiles: noudeb
Architecture: arm64
Version: 0.4.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-010.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-extructures - data structures with extensional reasoning for Coq
Changes:
 coq-extructures (0.4.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f13099b7555ba8768d0760f98aff063d5364f021 7743 coq-extructures_0.4.0-1build2_arm64.buildinfo
 9c11d4eb9dc0c7fb6a73598a3d58305e85e7d90b 731558 libcoq-extructures_0.4.0-1build2_arm64.deb
Checksums-Sha256:
 c1420efb082bca93318cf16e1ea7eb73aba687ccc0c8cc45aad9f54aee2a5045 7743 coq-extructures_0.4.0-1build2_arm64.buildinfo
 31114650a05f38a163ca66223f9da5930c88fc0355d2045c49a6630834f652a0 731558 libcoq-extructures_0.4.0-1build2_arm64.deb
Files:
 874006a050a65a63a3af224fa314c99b 7743 ocaml optional coq-extructures_0.4.0-1build2_arm64.buildinfo
 3bae55ef9d98b30d5e81b97427b6d85e 731558 ocaml optional libcoq-extructures_0.4.0-1build2_arm64.deb