Format: 1.8
Date: Tue, 06 Jan 2026 08:19:07 +0100
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: source amd64
Version: 0.13.0-1+ocaml1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-ext-lib - Collection of theories and plugins for Coq
Changes:
 coq-ext-lib (0.13.0-1+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.0
Checksums-Sha1:
 a80f0e23f2b790e3781495366ce7b22ec13760db 1209 coq-ext-lib_0.13.0-1+ocaml1.dsc
 2014297759e8e54f2e5cb57ad6c096eacea5eab9 85306 coq-ext-lib_0.13.0.orig.tar.gz
 3bddd63ba952284b993d8d1e7a7f044dbfd29e57 2456 coq-ext-lib_0.13.0-1+ocaml1.debian.tar.xz
 50bbc78f8d8e51412be653acaca6bf9a6096988f 6198 coq-ext-lib_0.13.0-1+ocaml1_amd64.buildinfo
 8f24d5033a5d4e79f45daef6ef9fc98378b13e80 762568 libcoq-ext-lib_0.13.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 ae04f566579987d5ce742fc750ba141ee6e2858738718aa2a5504d8b44437787 1209 coq-ext-lib_0.13.0-1+ocaml1.dsc
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 0172d49f957dfee442795c4a164bcf0b106fbcc94a5990e3877434dc960d480a 2456 coq-ext-lib_0.13.0-1+ocaml1.debian.tar.xz
 257d93a250c367781b04b80a8cf0e0ac38cd4f9f6357bcf2cdea127618419f60 6198 coq-ext-lib_0.13.0-1+ocaml1_amd64.buildinfo
 85ebf9ee7173ef075c900848c52343dd94835903dd528020b779df2d1e09708d 762568 libcoq-ext-lib_0.13.0-1+ocaml1_amd64.deb
Files:
 6b65bd2b7022f80eae5675158c5f3ed6 1209 ocaml optional coq-ext-lib_0.13.0-1+ocaml1.dsc
 0393eb00e923631c5316bfd49144c95b 85306 ocaml optional coq-ext-lib_0.13.0.orig.tar.gz
 3122ce7d2e5a2a45e95500e0c0ffa5f0 2456 ocaml optional coq-ext-lib_0.13.0-1+ocaml1.debian.tar.xz
 ea727699c57e643981145f626e812cad 6198 ocaml optional coq-ext-lib_0.13.0-1+ocaml1_amd64.buildinfo
 957c054a233222d4cb8cd8bb515bbe36 762568 ocaml optional libcoq-ext-lib_0.13.0-1+ocaml1_amd64.deb