Format: 1.8 Date: Tue, 08 Sep 2026 02:24:20 +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.1 Checksums-Sha1: bb6c00e07d3296ea64a86442b45975eee85080b1 1293 coq-extructures_0.5.0-6+ocaml1.dsc 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz 82fcb6265c2c1baec98e33c6b1740147098d56ff 3088 coq-extructures_0.5.0-6+ocaml1.debian.tar.xz 6ebbf80c456eaa01042a38a473ec68bd06b43e26 6923 coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo b8a20917fb59e9ab00ace2d340c0841a8931b27e 718848 libcoq-extructures_0.5.0-6+ocaml1_amd64.deb Checksums-Sha256: 6582718346009d761bab4691edddb186b75f302ee9b5f25e673802bf1f218021 1293 coq-extructures_0.5.0-6+ocaml1.dsc 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz 803a3d55763e9ee091d1f45e128675a9cd241914440c9d70e1d3c65e8d21975d 3088 coq-extructures_0.5.0-6+ocaml1.debian.tar.xz 1627fb916eb7dab4e9e6ae0a137676e965157d30e8fb00c3749411f28786230c 6923 coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo 287fe36b4965c18c730896d48fb2b456552af34f9369395e81eb92b8a4eabec9 718848 libcoq-extructures_0.5.0-6+ocaml1_amd64.deb Files: 6b0f78e744a1a1633b82ebbdaa53d365 1293 ocaml optional coq-extructures_0.5.0-6+ocaml1.dsc 02535e6858b35f4cbc9a79168fa69bdc 42630 ocaml optional coq-extructures_0.5.0.orig.tar.gz 4fd99a9d69987e5dd7d2aafbb8ecbbec 3088 ocaml optional coq-extructures_0.5.0-6+ocaml1.debian.tar.xz 2c8f5a86cadece6cb1fb65e431c3d414 6923 ocaml optional coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo 9d87cf0a31df3f318572479bcbbf869d 718848 ocaml optional libcoq-extructures_0.5.0-6+ocaml1_amd64.deb