Format: 1.8 Date: Wed, 11 Nov 2026 17:16:36 +0100 Source: coq-extructures Binary: libcoq-extructures Architecture: source amd64 Version: 0.5.0-6+ocaml1 Distribution: unstable-ocaml Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: libcoq-extructures - data structures with extensional reasoning for Coq Changes: coq-extructures (0.5.0-6+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.5.2 Checksums-Sha1: 9e10ed1ed7ca2e3a61d0bafa3867820c67dc3630 1293 coq-extructures_0.5.0-6+ocaml1.dsc 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz 79515bde33198371640030551e99eaa83d31fbcc 3084 coq-extructures_0.5.0-6+ocaml1.debian.tar.xz cfd3fa5ed6118ac18c1331c1977546f01e19e5f5 7074 coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo b05792779bc0c24343a9fe32fc1b378a0d735dda 718852 libcoq-extructures_0.5.0-6+ocaml1_amd64.deb Checksums-Sha256: b8618c943187bc6394a21569255b3896622489eaf5d655a1b5c1e5596c7369ad 1293 coq-extructures_0.5.0-6+ocaml1.dsc 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz db8390f322ac5c5592801523cba7f1a0a8c3f7c7ed77cf30e059c2978b7fde76 3084 coq-extructures_0.5.0-6+ocaml1.debian.tar.xz a7aeab050b6b2a00a9a2fb27bed31b574f575cd64a5c53806dde44019ee3fdff 7074 coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo ad4d5737e4954d96d6308826067f91b007471dff3ce21872a6a5a63ef5e75399 718852 libcoq-extructures_0.5.0-6+ocaml1_amd64.deb Files: 83bcf7247d317e18d425bfb2a036263e 1293 ocaml optional coq-extructures_0.5.0-6+ocaml1.dsc 02535e6858b35f4cbc9a79168fa69bdc 42630 ocaml optional coq-extructures_0.5.0.orig.tar.gz d62846e7882e84c206c32ae70176068a 3084 ocaml optional coq-extructures_0.5.0-6+ocaml1.debian.tar.xz 6c151f2963c58902007b210ea83e98e4 7074 ocaml optional coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo e4da2fa1ae27b0c60bdc3599ecf20a66 718852 ocaml optional libcoq-extructures_0.5.0-6+ocaml1_amd64.deb