Format: 1.8
Date: Tue, 06 Jan 2026 08:26:05 +0100
Source: coq-simple-io
Binary: libcoq-simple-io libcoq-simple-io-dbgsym
Architecture: source amd64
Version: 1.11.0-1+ocaml1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-simple-io - Coq plugin for purely functional IO
Changes:
 coq-simple-io (1.11.0-1+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.0
Checksums-Sha1:
 cfa734fb6053c64a6332b5b26f2f2d3c20c4b5a6 1290 coq-simple-io_1.11.0-1+ocaml1.dsc
 8ab9aa23aabbec6a24c72e5951cb76ad978681a9 35489 coq-simple-io_1.11.0.orig.tar.gz
 97ff6a960e1c8c8832ad5769fd82bc218705e966 2760 coq-simple-io_1.11.0-1+ocaml1.debian.tar.xz
 66a61d193e14cf948aaa8b94ff18d7ccd054857c 6679 coq-simple-io_1.11.0-1+ocaml1_amd64.buildinfo
 64cef039ecf43448ce4d8dd830cd107edcdb889e 10220 libcoq-simple-io-dbgsym_1.11.0-1+ocaml1_amd64.deb
 edca50513fe38f04e4d1f73d5f716d1420c4f6e6 221736 libcoq-simple-io_1.11.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 c3921c98a59854e9df27911338ba7c45385d011b0fca4a24fcfd746137127852 1290 coq-simple-io_1.11.0-1+ocaml1.dsc
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 af4aa434dd7a1fb05970f30dea7c669138e77179df9e0b921039612f0d3db8ca 2760 coq-simple-io_1.11.0-1+ocaml1.debian.tar.xz
 43d1ddae2a47483511cdd9416445f89d5cfc38c9f36ff16bc33cf2d4f915df73 6679 coq-simple-io_1.11.0-1+ocaml1_amd64.buildinfo
 dd69e9deb7e89836ead919d4ad66f8aa8b02de52f751d25e16a850a10e1fa580 10220 libcoq-simple-io-dbgsym_1.11.0-1+ocaml1_amd64.deb
 5aa41d93d9e6b3c887f19a3b9397de4b7ad0d689376e91227042e88cbc0218da 221736 libcoq-simple-io_1.11.0-1+ocaml1_amd64.deb
Files:
 cab95a02e6f0303f4773ffe8f45f5637 1290 ocaml optional coq-simple-io_1.11.0-1+ocaml1.dsc
 149a38aa56a849082b3aeee8af7d1deb 35489 ocaml optional coq-simple-io_1.11.0.orig.tar.gz
 6fd383c9b264afed03a170c12114de20 2760 ocaml optional coq-simple-io_1.11.0-1+ocaml1.debian.tar.xz
 dd503a827f9c436964cb9574dbe50687 6679 ocaml optional coq-simple-io_1.11.0-1+ocaml1_amd64.buildinfo
 35c81c789781707ed59d3a163d716665 10220 debug optional libcoq-simple-io-dbgsym_1.11.0-1+ocaml1_amd64.deb
 f3db19cb5d72455efceb68fd203f6eb2 221736 ocaml optional libcoq-simple-io_1.11.0-1+ocaml1_amd64.deb