Format: 1.8
Date: Fri, 06 Nov 2026 23:33:57 +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:
 c80a4f77c3b6c579a3503000f96e14bda1b55875 1150 rocq-stdlib_9.2.0-1+ocaml1.dsc
 0c1b58152891832d0fe707568b7ddca7429110bf 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 dcf4061eb09a0b391cfad9e26fff1813bef07772 2560 rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 30e1fd9dcee27607e4f16d5e1e6d99caf497d269 20085904 libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 7342ad707e2c5470443d279ef64d6108e8fc34ae 6025 rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 8a3c2791e8791541817f1df1d702921f48624c42b9848233a36f2710c0647156 1150 rocq-stdlib_9.2.0-1+ocaml1.dsc
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 aabef27a5eefa8031760893652efc0e9bf520ec9bb25ce18a491044e445be2a6 2560 rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 c9bb66eec99cb7fc2c5f185ca43a19bfa42d1ce7c8758e8dc76adc0e97ab33b8 20085904 libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 d3154b024109592733c972e2b6eeaf326b368e56a19cecd6810de97b0c6ec4e1 6025 rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo
Files:
 34e92c24568832d8623bb71081e32abf 1150 math optional rocq-stdlib_9.2.0-1+ocaml1.dsc
 06133186f3c1b41e3264a4d7e681d309 1850225 math optional rocq-stdlib_9.2.0.orig.tar.gz
 db3e43e0dbd3087ec87982a20bf17ef5 2560 math optional rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 5b852b242c281051a06d9b6a701b18a0 20085904 math optional libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 cd56d98b500bc16289dffbe168937995 6025 math optional rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo