Format: 1.8
Date: Wed, 11 Nov 2026 14:28:53 +0100
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: source amd64
Version: 9.2.0-1+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-stdlib - Standard library for the Rocq Theorem Prover
Changes:
 rocq-stdlib (9.2.0-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 d70a054c7de96182a6389ac99c24f58c659b87bd 1150 rocq-stdlib_9.2.0-1+ocaml1.dsc
 0c1b58152891832d0fe707568b7ddca7429110bf 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 9dd8c34f8e8d111721561422f81a5f461c85c25a 2560 rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 3b7d11c7cc966cbe6accec0255a21fa1f78ee980 20086232 libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 e0cee6c6088f00a2727ab68e97b2626d11ffd764 6028 rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 67a0fd1695c896172fe900b2f238c7828565d2c694a2f177f554332cec095a9a 1150 rocq-stdlib_9.2.0-1+ocaml1.dsc
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 7d22c69ee19e35fdae5aaedc03830a474a5dc26d0fbc9a7000af29c4927a5d8e 2560 rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 6269a6faa22d4f29d85846f01bbca40c988da8e2a0dcee41c866a534bc3f684a 20086232 libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 89a2b2155f22612655b9a40e7946b498051cc3c3026b247d51a81881710f7ad3 6028 rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo
Files:
 5b24ab43948bcdf341673b22e247eb43 1150 math optional rocq-stdlib_9.2.0-1+ocaml1.dsc
 06133186f3c1b41e3264a4d7e681d309 1850225 math optional rocq-stdlib_9.2.0.orig.tar.gz
 7301a5699d0aa0cceb17916d4c08ae80 2560 math optional rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 a28020ce90deef13a19fda6fe1f62403 20086232 math optional libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 20a8a599c18b95bb22acf02c68a669cf 6028 math optional rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo