Format: 1.8 Date: Sat, 07 Nov 2026 00:18:23 +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: efb73eb744c03f6362b6fe17807e5129364cea7b 1293 coq-extructures_0.5.0-6+ocaml1.dsc 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz 3f9b7476991a68197f1119a2eb662baf2df5d0b6 3088 coq-extructures_0.5.0-6+ocaml1.debian.tar.xz f4736f017ad24f1a55379cfb9c654618a329b77f 7071 coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo ce786891dbfc384d06b34f596e26c2e37ca15ceb 718848 libcoq-extructures_0.5.0-6+ocaml1_amd64.deb Checksums-Sha256: e51ca8194b261a7e7cbf3ceb5e347f97bd86f365da662e2ff0626d2cedf855c1 1293 coq-extructures_0.5.0-6+ocaml1.dsc 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz d0e7032a7ba492712029d75158eeefc2a387260300a1f561bf96ed34de82f177 3088 coq-extructures_0.5.0-6+ocaml1.debian.tar.xz 592f45f840f26d1d93ff67f2979458f00c5b14fa48af9ee1471f31e9567aea32 7071 coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo db0a3936c53c6abbc5cd6d5f598df06f00a92f3c7d06c3bf8570a97e211a1a62 718848 libcoq-extructures_0.5.0-6+ocaml1_amd64.deb Files: 30ad21f1ec0e7106b02ac5f3b8a88242 1293 ocaml optional coq-extructures_0.5.0-6+ocaml1.dsc 02535e6858b35f4cbc9a79168fa69bdc 42630 ocaml optional coq-extructures_0.5.0.orig.tar.gz 21b5ccce949254ecdfab8537cdb3c76c 3088 ocaml optional coq-extructures_0.5.0-6+ocaml1.debian.tar.xz cae631498fe3b10cf559309abb882bc5 7071 ocaml optional coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo ed9d9cdcab03b9306247f78e0bfc0b21 718848 ocaml optional libcoq-extructures_0.5.0-6+ocaml1_amd64.deb