Format: 1.8
Date: Fri, 23 Oct 2026 19:26:28 +0200
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:
 1016e2e492e015e219e873dd6e00c2ac5753071a 1150 rocq-stdlib_9.2.0-1+ocaml1.dsc
 0c1b58152891832d0fe707568b7ddca7429110bf 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 f0d6395892d98e5c11172c57595623831966b164 2564 rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 c1ca1dce9aa36b6f824dbb54fef6c5a63545562b 20084800 libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 2a2f64e8595d9ae53fdc47e56e6e741b1086a804 5971 rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 1545ffb48fc0371d68c065242c57c50e0a98999533326114f16cfc1e633738a9 1150 rocq-stdlib_9.2.0-1+ocaml1.dsc
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 a257a23a803decd2b994de69f5b1e9f9a17ce66932970ae37c280feda3e3c6de 2564 rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 e66377abc1f0e7c555a12eacae88e1e3dbbc133996ee3e0519015cbda9bd34d9 20084800 libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 8942581c5ca05890105f5cb4f7a4d1239cb99ac6bfbf4ead4541b98d7dff71a7 5971 rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo
Files:
 43f7c2b4f56854d092a63d7b842ad3c3 1150 math optional rocq-stdlib_9.2.0-1+ocaml1.dsc
 06133186f3c1b41e3264a4d7e681d309 1850225 math optional rocq-stdlib_9.2.0.orig.tar.gz
 8fa2556b3c6d06828681d17ec40651ab 2564 math optional rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 e770c19a4f8a8d44ad49e1d2d9a92243 20084800 math optional libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 198680b9c643c3081f6a26e09c69d7cc 5971 math optional rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo