Format: 1.8
Date: Mon, 07 Sep 2026 20:14:44 +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.1
Checksums-Sha1:
 55f75a1c3dd4fa6bdf2eda13e5e3eeb1fe32658d 1150 rocq-stdlib_9.2.0-1+ocaml1.dsc
 0c1b58152891832d0fe707568b7ddca7429110bf 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 7a4fd170ac3d04803951d4c2a1037b0f68391299 2556 rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 225e52a8adaaac0a26752cff399fa58ff0276afb 20083636 libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 4b7d2508ee99a79c4327f4693d350002dc99c919 5877 rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 cba8c37f74894b89fc252625305605eb257e10861d55fc51bb90f4a94a26c2ea 1150 rocq-stdlib_9.2.0-1+ocaml1.dsc
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 3538956870cc48f5a5f4312790d12fc28ee4718956e820408cfb945c31f951a2 2556 rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 0e943324f759fdb952750020d6ab8acc95dab80cc6ae3f3bb46733652813dffe 20083636 libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 e887c4a5d6e031d943aa1fdfe8e05a7fe068ec812888f5555a45e583e194a43a 5877 rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo
Files:
 47d24d840713a22eeaf2d55ff978a96c 1150 math optional rocq-stdlib_9.2.0-1+ocaml1.dsc
 06133186f3c1b41e3264a4d7e681d309 1850225 math optional rocq-stdlib_9.2.0.orig.tar.gz
 12934fb629a325af37d51dc0652ec08e 2556 math optional rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 08609529260fa1e307860acaac834f66 20083636 math optional libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 dde69d94195a946c785e2460d818401d 5877 math optional rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo