Format: 1.8 Date: Fri, 23 Oct 2026 20:11:35 +0200 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: a725fbc85e0ce78d2fd8411c441738986d508c66 1293 coq-extructures_0.5.0-6+ocaml1.dsc 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz e950039060a04b9769602806a44749498fd47889 3092 coq-extructures_0.5.0-6+ocaml1.debian.tar.xz 4050d4437e80204f9d3b622b646538898c356844 7017 coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo 627610e2f7e6ca0f0fbd4b9fbd6bd3f83eb457cd 719436 libcoq-extructures_0.5.0-6+ocaml1_amd64.deb Checksums-Sha256: d7d3ff9d64eb000ec9d28714e90afd192988e5d2d9585330364a924568d23f3d 1293 coq-extructures_0.5.0-6+ocaml1.dsc 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz 521243e1c26182596a27df2bc04e5112eb6b303de90a4471b108655cb0f4a933 3092 coq-extructures_0.5.0-6+ocaml1.debian.tar.xz c5840a8f7f6a8d208f574fa9cef4d07e0cffeca32790e0741768338093ba2424 7017 coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo a2a558f42d9b57f65e88a07dc8360cd04b7ff1b807d02c536afb5211b428e8d4 719436 libcoq-extructures_0.5.0-6+ocaml1_amd64.deb Files: e7ac8f731b5ccab7f133df0f957e0f2d 1293 ocaml optional coq-extructures_0.5.0-6+ocaml1.dsc 02535e6858b35f4cbc9a79168fa69bdc 42630 ocaml optional coq-extructures_0.5.0.orig.tar.gz 88f8a029e098f98c07b38a617875b893 3092 ocaml optional coq-extructures_0.5.0-6+ocaml1.debian.tar.xz d2820b13cef5578075420f14db9aec93 7017 ocaml optional coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo db8e463e5eb2aac14896a80224f60c97 719436 ocaml optional libcoq-extructures_0.5.0-6+ocaml1_amd64.deb