Format: 1.8
Date: Tue, 11 Aug 2026 11:17:33 +0200
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: source amd64
Version: 9.2.0-1+ocaml1
Distribution: trixie-backports-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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 af56493c6ffd2637282bab14ace7cf27b111b1b5 1150 rocq-stdlib_9.2.0-1+ocaml1.dsc
 0c1b58152891832d0fe707568b7ddca7429110bf 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 d189ed1754375eab0d0abd7cb83f562833c7c0da 2572 rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 279b6674f5084c89fa243fdffa74cb79ffa0016e 20085748 libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 ab7eebf649c4fbb69087da3b9cc744fc9692c4d4 6159 rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 0981972424373736ee51b7bcaaf9f70e75c178f3ee709597eea9a84c7d551010 1150 rocq-stdlib_9.2.0-1+ocaml1.dsc
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 0379b3a88efb611dd79b6ff49b55fb02caadfc5524a635005dec2a34f517864a 2572 rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 e38b5b86a5431c2341881327209fc2a4f85d096baf70df8abb7cae22a0ea0a39 20085748 libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 89b24003a76034f83f94297009da996e1799a8c8f2a9d9e187a5eea2827cab70 6159 rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo
Files:
 157c44b49a467e2385c220940fca479b 1150 math optional rocq-stdlib_9.2.0-1+ocaml1.dsc
 06133186f3c1b41e3264a4d7e681d309 1850225 math optional rocq-stdlib_9.2.0.orig.tar.gz
 ff7b2d736010e5cbceb8105f40cd87b0 2572 math optional rocq-stdlib_9.2.0-1+ocaml1.debian.tar.xz
 384e58fd1c148d023eca5e0de41d3074 20085748 math optional libcoq-stdlib_9.2.0-1+ocaml1_amd64.deb
 7eb509b58b5fa5507ad1c796e0783a1f 6159 math optional rocq-stdlib_9.2.0-1+ocaml1_amd64.buildinfo